OPTRAN, a Language for the Specification of Program Transformations

Code generation using tree matching and dynamic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Pattern Matching in Trees

Journal of the ACM (JACM)

Attribute coupled grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Tree transformation techniques and experiences

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Implementation of an interpreter for abstract equations

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A truly generative semantics-directed compiler generator

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction

An appreciation of the work of Reinhard Wilhelm

Program analysis and compilation, theory and practice