@Article{Kahl-Derichsweiler-2001,
  author = {Wolfram Kahl and Frank Derichhsweiler},
  title = {Declarative Term Graph Attribution for Program Generation},
  journal = {J.~UCS},
  year = 2001,
  volume = 7,
  number = 1,
  pages = {54--70},
  URL = {http://ist.unibw-muenchen.de/Publications/Journals/Kahl-Derichsweiler-2001.html},
  keywords = {Program generation, term graph attribution,
              declarative attribute grammars, graph traversals},
  ACMcats = {D.1.2, --- Automatic Programming,
      	     D.2.6, --- Programming Environments,
      	     F.4.2, --- Grammars and Other Rewriting Systems,
      	     D.2.2, --- Tools and Techniques,
      	     D.1.1 --- Applicative (functional) Programming},
  abstract = {We show how the declarative spirit of attribute grammars
              can be employed to define an attribution mechanism for
              \textit{term graphs}, where the non-uniqueness of
              inherited attributes demands an appropriately
              generalised treatment.

              Since term graphs are a useful data structure for
              symbolic computation systems such as theorem provers
              or program transformation systems, this mechanism
              provides a powerful means to generate concrete programs
              (and other relevant text or data structures)
              from their abstract term graph representations.

              We have implemented this
              declarative term graph attribution mechanism
              in the graphically interactive
              term graph program transformation system \HOPS{}
              and show a few simple examples of its use.}
}