Compiler generation from relational semantics

This publication has 11 references indexed in Scilit:

• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985
• Control Flow Aspects of Semantics-Directed Compiling
  ACM Transactions on Programming Languages and Systems, 1983
• Deriving Target Code as a Representation of Continuation Semantics
  ACM Transactions on Programming Languages and Systems, 1982
• Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
  ACM Transactions on Programming Languages and Systems, 1981
• A constructive approach to compiler correctness
  Published by Springer Nature ,1980
• Compiler generation from denotational semantics
  Published by Springer Nature ,1980
• Transforming denotational semantics into practical attribute grammars
  Lecture Notes in Computer Science, 1980
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Consistent and complementary formal theories of the semantics of programming languages
  Acta Informatica, 1974
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973