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.
No takes yet. Share an insight, caveat, or question.
Pingali et al. (1985) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: