Declarative Term Graph Attribution for Program Generation


We show how the declarative spirit of attribute grammars can be employed to define an attribution mechanism for 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… (More)
DOI: 10.3217/jucs-007-01-0054


9 Figures and Tables

Slides referencing similar topics