Efficient demand-driven evaluation. Part 2
- 2 January 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 8 (1) , 109-139
- https://doi.org/10.1145/5001.5003
Abstract
In Part 1 of this paper [5], we presented a scheme whereby a compiler could propagate demands through programs in a powerful stream language L. A data-driven evaluation of the transformed program performed exactly the same computation as a demand-driven evaluation of the original program. In this paper we explore a different transformation, which trades the complexity of demand propagation for a bounded amount of extra computation on some data lines.Keywords
This publication has 2 references indexed in Scilit:
- Efficient demand-driven evaluation. Part 1ACM Transactions on Programming Languages and Systems, 1985
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979