Algebraic denotational semantics using parameterized abstract modules

This publication has 15 references indexed in Scilit:

• Operational and Semantic Equivalence Between Recursive Programs
  Journal of the ACM, 1980
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Models of programming language concepts
  Published by Springer Nature ,1980
• ALGOL 68 as a metalanguage for denotational semantics
  The Computer Journal, 1979
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Semantics of computation
  Published by Springer Nature ,1975
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
  Communications of the ACM, 1970
• The next 700 programming languages
  Communications of the ACM, 1966