The Expressive Power of Monotonic Parallel Composition
No abstract available.
Related papers
- Safe composition of non-monotonic features GPCE 2009
- Functional Meaning for Parallel Streaming PLDI 2025
- Compositional Parallel Programming Languages TOPLAS 1996
- A Robust Theory of Series Parallel Graphs POPL 2023
- Verifying Array Properties in Pure Data-Parallel Programs PLDI 2026
- Datafun: a functional Datalog ICFP 2016
- (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms TOPLAS 2024
- Semantic Foundations for Deterministic Dataflow and Stream Processing ESOP 2020