From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview

This publication has 26 references indexed in Scilit:

• The IO- and OI-hierarchies
  Theoretical Computer Science, 1982
• What is a model of the lambda calculus?
  Information and Control, 1982
• Domains for denotational semantics
  Published by Springer Nature ,1982
• Correctness of programs with function procedures
  Published by Springer Nature ,1982
• A powerdomain for countable non-determinism
  Published by Springer Nature ,1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965
• Revised report on the algorithmic language ALGOL 60
  The Computer Journal, 1963