An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 513-526
- https://doi.org/10.1007/bfb0036933
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data-Driven and Demand-Driven Computer ArchitectureACM Computing Surveys, 1982
- The semantics of lazy (and industrious) evaluationPublished by Association for Computing Machinery (ACM) ,1982
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982
- Proofs by induction in equational theories with constructorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- Detailization and lazy evaluation, infinite objects and pointer representationPublished by Springer Nature ,1979
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Algebraic families of interpretationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976