Tree transformations, functional languages, and attribute grammars

This publication has 15 references indexed in Scilit:

• Completion-time optimization of rewrite-time goal solving
  Published by Springer Nature ,1989
• Attribute (Re)evaluation in OPTRAN
  Acta Informatica, 1988
• Higher-order abstract syntax
  Published by Association for Computing Machinery (ACM) ,1988
• A functional language for the specification of complex tree transformations
  Lecture Notes in Computer Science, 1988
• Translation of attribute grammars into procedures
  ACM Transactions on Programming Languages and Systems, 1984
• How to Implement a System for Manipulation of Attributed Trees
  Published by Springer Nature ,1984
• Attribute grammars and recursive program schemes I
  Theoretical Computer Science, 1982
• Invariance of Approximative Semantics with Respect to Program Transformations
  Informatik-Fachberichte, 1981
• Computation and use of data flow information in optimizing compilers
  Acta Informatica, 1979
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978