Denotational Semantics

This publication has 21 references indexed in Scilit:

• Unified Algebras and action semantics
  Published by Springer Nature ,2005
• Denotational Semantics
  Published by Elsevier ,1990
• Denotational semantics of a parallel object-oriented language
  Information and Computation, 1989
• Domain algebras
  Published by Springer Nature ,1984
• Experiments, powerdomains and fully abstract models for applicative multiprogramming
  Lecture Notes in Computer Science, 1983
• A cook's tour of countable nondeterminism
  Published by Springer Nature ,1981
• Algebraic denotational semantics using parameterized abstract modules
  Published by Springer Nature ,1981
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Compiler generation using denotational semantics
  Lecture Notes in Computer Science, 1976