The Complexity of Abduction for Separated Heap Abstractions
No abstract available.
DOI 10.1007/978-3-642-23702-7_7
Related papers
- Strong-Separation Logic ESOP 2021
- Abductive Inference for Reasoning about Heaps APLAS 2008
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Strong-separation Logic TOPLAS 2022
- Compositional shape analysis by means of bi-abduction POPL 2009
- Low-Level Bi-Abduction ECOOP 2022
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Bottom-up shape analysis using LISF TOPLAS 2011