Declarative Term Graph Attribution for Program Generation

Abstract

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

Topics

9 Figures and Tables

Slides referencing similar topics