On the Algebraic Specification of Domains
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
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 languagePublished by Springer Nature ,2006
- The Munich Project CIPLecture Notes in Computer Science, 1985
- Algebraic domain equationsTheoretical Computer Science, 1983
- Algebraic definition of a functional programming language and its semantic modelsRAIRO. Informatique théorique, 1983
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Algebraic semanticsLecture Notes in Computer Science, 1981
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976