An Abstract Domain for Heap Commutativity
No abstract available.
Related papers
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software CAV 2007
- Causal commutative arrows JFP 2011
- Causal commutative arrows revisited Haskell 2016
- Causal commutative arrows and their optimization ICFP 2009
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- A domain theory for statistical probabilistic programming POPL 2019
- Automatic Inference of Heap Properties Exploiting Value Domains VMCAI 2015