Efficient Demand-Driven Evaluation (I)

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 denotat...

Full description

Bibliographic Details
Main Authors: Pingali, Keshav, Arvind
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149052