Learning Commutativity Specifications
Abstract elided by the publisher.
Related papers
- Learning stateful preconditions modulo a test generator PLDI 2019
- Sigma*: symbolic learning of input-output specifications POPL 2013
- The role of commutativity in constraint propagation algorithms TOPLAS 2000
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011
- A domain theory for statistical probabilistic programming POPL 2019
- Veracity: declarative multicore programming with commutativity OOPSLA 2022
- Causal commutative arrows JFP 2011
- Causal commutative arrows and their optimization ICFP 2009