On the Algebraic Specification of Domains

This publication has 16 references indexed in Scilit:

• An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language
  Published by Springer Nature ,2006
• The Munich Project CIP
  Lecture Notes in Computer Science, 1985
• Algebraic domain equations
  Theoretical Computer Science, 1983
• Algebraic definition of a functional programming language and its semantic models
  RAIRO. Informatique théorique, 1983
• Algorithmic Language and Program Development
  Published by Springer Nature ,1982
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• Algebraic semantics
  Lecture Notes in Computer Science, 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
• A Powerdomain Construction
  SIAM Journal on Computing, 1976