Wolfram Kahl
pp. 366-373 in G. Engels, G. Rozenberg (eds.):
TAGT' 98 --- 6th International Workshop
on Theory and Application of Graph-Transformation.
Paderborn, November 16--20, 1998,
Universität-Gesamthochschule Paderborn, Fachbereich Mathematik/Informatik,
Bericht tr-ri-98-201
(.bib, .ps.gz)
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 total homomorphisms.
We discuss applications to term graph typing, including multi-level typing and type classes, and visualisation of compilation.