Exploiting the commutativity lattice
No abstract available.
Related papers
- Some Lattice-Based Scientific Problems, Expressed in Haskell JFP 1996
- Exploiting Adjoints in Property Directed Reachability Analysis CAV 2023
- Veracity: declarative multicore programming with commutativity OOPSLA 2022
- Fixpoint games on continuous lattices POPL 2019
- Commutativity for Concurrent Program Termination Proofs CAV 2023
- The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach CAV 2016
- Speculative parallelization of partial reduction variables CGO 2010
- Functional Pearl trouble shared is trouble halved Haskell 2003