Stability, sequentiality and demand driven evaluation in dataflow

DOI10.1007/BF03259389zbMath0829.68075OpenAlexW2050266098MaRDI QIDQ1346605

Arnon Avron, Nada Sasson

Publication date: 6 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03259389

zbMATH Keywords

functional languagesdataflow language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• A systematic approach to language constructs for concurrent programs
• Fully abstract models of typed \(\lambda\)-calculi
• A proof of the Kahn principle for input/output automata
• Efficient demand-driven evaluation. Part 1
• A new implementation technique for applicative languages
• Efficient demand-driven evaluation. Part 2
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stability, sequentiality and demand driven evaluation in dataflow