Frank Derichsweiler

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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)
  • 1