Stability, sequentiality and demand driven evaluation in dataflow
type: Item
instance of: scholarly article
title: Stability, sequentiality and demand driven evaluation in dataflow
zbMATH Open document ID: 0829.68075
DOI: 10.1007/BF03259389
author: Arnon Avron
author: Nada Sasson
published in: Formal Aspects of Computing
publication date: 1995-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 741022
zbMATH Keywords: functional languages
zbMATH Keywords: dataflow language
MaRDI profile type: Publication
cites work: Q4151708
cites work: Q3205213
cites work: Q4160405
cites work: A systematic approach to language constructs for concurrent programs
cites work: Q3785893
cites work: Q3942370
cites work: Q4054644
cites work: A proof of the Kahn principle for input/output automata
cites work: Q3995530
cites work: Q4133080
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: Efficient demand-driven evaluation. Part 1
cites work: Efficient demand-driven evaluation. Part 2
cites work: Q4094390
cites work: A new implementation technique for applicative languages
full work available at URL: https://doi.org/10.1007/bf03259389
OpenAlex ID: W2050266098
Recommended article: Q4038701
Recommended article: Q4471675
Recommended article: Dataflow computing and Eager and Lazy evaluations
Recommended article: Q3470106
Recommended article: On the complexity of flow-sensitive dataflow analyses
Recommended article: Foundations of Differential Dataflow
Recommended article: Satisfiability of dataflow models of distributed programs
Recommended article: Semantic Foundations for Deterministic Dataflow and Stream Processing
description: scientific article; zbMATH DE number 741022