Efficient Demand-Driven Evaluation (I)
Name
MIT-LCS-TM-242.pdf
Size
6.38 MB
Format
Adobe PDF
Checksum (MD5)
e2d3295dfc8093ffe1b96a59dce0afc4
Author(s) •
Pingali, Keshav
Arvind
Date Issued
September 1983
Series/Report no.
MIT-LCS-TM-242
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.
Persistent DSpace Link