A Shape Analysis for Non-linear Data Structures
No abstract available.
Related papers
- Local Shape Analysis for Overlaid Data Structures SAS 2013
- Shape Analysis for Composite Data Structures CAV 2007
- Expressing heap-shape contracts in linear logic GPCE 2006
- From Shape Analysis to Termination Analysis in Linear Time CAV 2016
- Relational inductive shape analysis POPL 2008
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Shape analysis with inductive recursion synthesis PLDI 2007
- A relational framework for higher-order shape analysis ICFP 2014