Shape Analysis for Composite Data Structures
Abstract elided by the publisher.
Related papers
- Compositional shape analysis by means of bi-abduction POPL 2009
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Local Shape Analysis for Overlaid Data Structures SAS 2013
- A Shape Analysis for Non-linear Data Structures SAS 2010
- Shape Analysis for Mobile Ambients POPL 2000
- Relational inductive shape analysis POPL 2008
- Shape analysis with inductive recursion synthesis PLDI 2007
- A relational framework for higher-order shape analysis ICFP 2014