Shape Analysis with Structural Invariant Checkers
Abstract elided by the publisher.
Related papers
- Relational inductive shape analysis POPL 2008
- A relational framework for higher-order shape analysis ICFP 2014
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Shape analysis with inductive recursion synthesis PLDI 2007
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning VMCAI 2007
- Arithmetizing Shape Analysis CAV 2025
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019