Local Shape Analysis for Overlaid Data Structures
Abstract elided by the publisher.
Related papers
- Program Analysis for Overlaid Data Structures CAV 2011
- Arithmetizing Shape Analysis CAV 2025
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- A Shape Analysis for Non-linear Data Structures SAS 2010
- Shape Analysis for Composite Data Structures CAV 2007
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning VMCAI 2007
- A Local Shape Analysis Based on Separation Logic TACAS 2006
- Relational inductive shape analysis POPL 2008