A Local Shape Analysis Based on Separation Logic
Abstract elided by the publisher.
Related papers
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- Shape analysis with inductive recursion synthesis PLDI 2007
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Compositional shape analysis by means of bi-abduction POPL 2009
- Bottom-up shape analysis using LISF TOPLAS 2011
- Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects OOPSLA 2024
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006