Partially Disjunctive Heap Abstraction
Abstract elided by the publisher.
Related papers
- Relative Completeness of Incorrectness Separation Logic APLAS 2024
- Compositional Optimization of Disjunctive Abstract Interpretations ESOP 1996
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- D^3 : Data-Driven Disjunctive Abstraction VMCAI 2016
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants APLAS 2011
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI 2023