On the algebraic specification of infinite objects — ordered and continuous models of algebraic types
- 1 December 1985
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 22 (5) , 537-578
- https://doi.org/10.1007/bf00267044
Abstract
No abstract availableKeywords
This publication has 24 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
- On the Herbrand Kleene universe for nondeterministic computationsPublished by Springer Nature ,2006
- An Algebraic Semantics for Backus’ Functional Programming Language with Infinite ObjectsPublished by Springer Nature ,1983
- Detailization and lazy evaluation, infinite objects and pointer representationPublished by Springer Nature ,1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- The lattice of flow diagramsPublished by Springer Nature ,1971
- Completions of partially ordered sets and universal algebrasActa Mathematica Hungarica, 1966
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960