An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
Abstract elided by the publisher.
Related papers
- A combination framework for tracking partition sizes POPL 2009
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Efficient Verification with BDDs using Implicitly Conjoined Invariants CAV 1993
- Conjoining Specifications TOPLAS 1995
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- Actris: session-type based reasoning in separation logic POPL 2020
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT VMCAI 2017
- Reduced Product Combination of Abstract Domains for Shapes VMCAI 2013