Efficient demand-driven evaluation. Part 2

DOI10.1145/5001.5003zbMath0596.68024OpenAlexW2918106430MaRDI QIDQ5903198

Arvind, Keshav Pingali

Publication date: 1986

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

functional languagestransformationslazy evaluationprogramschemecompilerstreamsdataflowdata-driven evaluationdemand-driven evaluationdemandsstream language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Stability, sequentiality and demand driven evaluation in dataflow ⋮ Connectedness and synchronization

This page was built for publication: Efficient demand-driven evaluation. Part 2