Separating Shape Graphs
Abstract elided by the publisher.
Related papers
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- A Local Shape Analysis Based on Separation Logic TACAS 2006
- Canonical Graph Shapes ESOP 2004
- Shape Analysis by Graph Decomposition TACAS 2007
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008