Abductive Inference for Reasoning about Heaps
No abstract available.
Related papers
- The Complexity of Abduction for Separated Heap Abstractions SAS 2011
- Data-driven abductive inference of library specifications OOPSLA 2021
- Strong-Separation Logic ESOP 2021
- Strong-separation Logic TOPLAS 2022
- Maximal specification synthesis POPL 2016
- Explain: A Tool for Performing Abductive Inference CAV 2013
- Bottom-up shape analysis using LISF TOPLAS 2011
- Bi-Abduction with Pure Properties for Specification Inference APLAS 2013