Correctness of code generation from a two-level meta-language

This publication has 11 references indexed in Scilit:

• Code generation from two-level denotational meta-languages
  Published by Springer Nature ,1986
• Pragmatic aspects of two-level denotational meta-languages
  Published by Springer Nature ,1986
• Domain algebras
  Published by Springer Nature ,1984
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• A constructive approach to compiler correctness
  Published by Springer Nature ,1980
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• More on advice on structuring compilers and proving them correct
  Lecture Notes in Computer Science, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• On the Relation between Direct and Continuation Semantics
  Published by Springer Nature ,1974
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973