Transforming denotational semantics into practical attribute grammars

This publication has 18 references indexed in Scilit:

• On storage optimization for automatically generated compilers
  Published by Springer Nature ,1979
• An Approach to the Derivation of Compiler Description Concepts from the Mathematical Semantics Concept
  Published by Springer Nature ,1979
• The method of attributes for data flow analysis
  Acta Informatica, 1978
• Semantics and proof theory of pascal procedures
  Published by Springer Nature ,1977
• The denotational semantics of programming languages
  Communications of the ACM, 1976
• Alternating semantic evaluator
  Published by Association for Computing Machinery (ACM) ,1975
• Inductive methods for proving properties of programs
  Communications of the ACM, 1973
• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Semantics of context-free languages
  Theory of Computing Systems, 1968