Efficient demand-driven evaluation. Part 2

DOI10.1145/5001.5003zbMath0596.68023OpenAlexW2918106430MaRDI QIDQ5903197

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

program transformationsfunctional languagestreams

Mathematics Subject Classification ID

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

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