@InProceedings{Kahl-1998e,
  author = {Wolfram Kahl},
  title =  {Total-Single-Pushout Derivations for Internal Graph Attribution},
  booktitle = {{TAGT' 98} --- 6th International Workshop
               on Theory and Application of Graph Transformation.
               {Paderborn, November 16--20, 1998}},
  pages =  {366--373},
  year =   1998,
  editor = {G. Engels and G. Rozenberg},
  publisher = {Universit\"at-Gesamthochschule Paderborn,
               Fachbereich Mathematik/Informatik},
  note = {Bericht tr-ri-98-201},
  URL = {http://ist.unibw-muenchen.de/Publications/Conf/Kahl-1998e.html},
  abstract = {We present a simple, abstract approach that allows
              to integrate graph attribution into the graph structure itself.

              We use a declarative setting where the calculation of the
              attributions relies on single-pushout derivations in a
              category of {\em total} homomorphisms.

              We discuss applications to term graph typing,
              including multi-level typing and type classes,
              and visualisation of compilation.}
}