Pragmatic aspects of two-level denotational meta-languages

This publication has 12 references indexed in Scilit:

• Semantics-directed code generation
  Published by Association for Computing Machinery (ACM) ,1985
• Control Flow Aspects of Semantics-Directed Compiling
  ACM Transactions on Programming Languages and Systems, 1983
• Properties of a Notation for Combining Functions
  Journal of the ACM, 1983
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Abstract Semantic Algebras!
  DAIMI Report Series, 1982
• Deriving Target Code as a Representation of Continuation Semantics
  ACM Transactions on Programming Languages and Systems, 1982
• A truly generative semantics-directed compiler generator
  ACM SIGPLAN Notices, 1982
• Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator
  DAIMI Report Series, 1981
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978