Demand-driven evaluation on dataflow machine

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 206)


G. Kahn in his IFIP's 1974 paper gave a straightforward denotational semantics of dataflow graphs by treating the history of an arc as a stream value, and a dataflow operator as a monotonic and continuous function from streams to streams. Operationally, a datadriven evaluation of dataflow graphs does not, in general, compute the total history of output arcs. We describe a program transformation technique whereby a data-driven evaluation of the transformed graph will perform exactly the same computation as a demand-driven evaluation of the original program. More importantly, the transformation technique suggests a simple denotational characterization for demand-driven evaluation. We hope this characterizationwill prove to be useful in designingefficient "lazy" interpreters.

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Arvind
    • 1
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations