Shape Analysis by Graph Decomposition
No abstract available.
Related papers
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Heap Decomposition for Concurrent Shape Analysis SAS 2008
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008
- 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
- Reachability Analysis Using Message Passing over Tree Decompositions CAV 2020
- A Note on Algebraic Structure of Tree Decomposition of Graphs APLAS 2000
- GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components CAV 2014