Canonical Graph Shapes
Abstract elided by the publisher.
Related papers
- Graph Types POPL 1993
- Separating Shape Graphs ESOP 2010
- 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
- The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime ECOOP 2013
- A shape analysis for optimizing parallel graph programs POPL 2011
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996