More on advice on structuring compilers and proving them correct

This publication has 10 references indexed in Scilit:

• Some "geometrical" categories associated with flowchart schemes
  Lecture Notes in Computer Science, 1977
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Some fundamentals of order-algebraic semantics
  Published by Springer Nature ,1976
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973
• Correctness of Translations of Programming Languages -- An Algebraic Approach
  Published by Defense Technical Information Center (DTIC) ,1972
• Implementation and applications of Scott's logic for computable functions
  Published by Association for Computing Machinery (ACM) ,1972
• Heterogeneous algebras
  Journal of Combinatorial Theory, 1970
• Algebra automata I: Parallel programming as a prolegomena to the categorical approach
  Information and Control, 1968
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963