Two examples of parallel programming without concurrency constructs (PP-CC)
Abstract
No abstract available.
Related papers
- Type Checking Concurrent I/O TOPLAS 1995
- A Poor Man's Concurrency Monad JFP 1999
- DisLog: A Separation Logic for Disentanglement POPL 2024
- Reference Capabilities for Concurrency Control ECOOP 2016
- When Concurrency Matters: Behaviour-Oriented Concurrency OOPSLA 2023
- Two for the price of one: a model for parallel and incremental computation OOPSLA 2011
- Complx: a verification framework for concurrent imperative programs CPP 2017
- Parallel Breadth-First BDD Construction PPoPP 1997