A new model of high-level computation rooted in category theory that treats data flow and control flow as separate composable dimensions with operations for sequential, parallel, branching, and iterative structures.
The Esterel synchr onous programming language: design, semantics, implementation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2023 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Compositional Separation of Control Flow and Data Flow
A new model of high-level computation rooted in category theory that treats data flow and control flow as separate composable dimensions with operations for sequential, parallel, branching, and iterative structures.