Efficient demand-driven evaluation. Part 1
- 1 April 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 7 (2) , 311-333
- https://doi.org/10.1145/3318.3480
Abstract
We describe a program transformation technique for programs in a general stream language L whereby a data-driven evaluation of the transformed program performs exactly the same computation as a demand-driven evaluation of the original program. The transformational technique suggests a simple denotational characterization of demand-driven evaluation.Keywords
This publication has 2 references indexed in Scilit:
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- First version of a data flow procedure languagePublished by Springer Nature ,1974