Property-Directed Shape Analysis
No abstract available.
Related papers
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- Spatial Interpolants ESOP 2015
- Arithmetizing Shape Analysis CAV 2025
- Calling context abstraction with shapes POPL 2011
- Relational inductive shape analysis POPL 2008
- A relational approach to interprocedural shape analysis TOPLAS 2010