Model Checking of Systems Employing Commutative Functions
Abstract elided by the publisher.
Related papers
- The undecidability of associativity and commutativity analysis TOPLAS 2002
- Certified ACKBO CPP 2019
- Causal commutative arrows revisited Haskell 2016
- Mechanized verification of fine-grained concurrent programs PLDI 2015
- Type-Checking CRDT Convergence PLDI 2023
- POSTER: An Architecture and Programming Model for Accelerating Parallel Commutative Computations via Privatization PPoPP 2017
- A domain theory for statistical probabilistic programming POPL 2019
- On the Decision Problems of Program Schemas with Commutative and Invertable Functions POPL 1973