Shape Analysis of Single-Parent Heaps
Abstract elided by the publisher.
Related papers
- Region-based shape analysis with tracked locations POPL 2005
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Heap Decomposition for Concurrent Shape Analysis SAS 2008
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Arithmetizing Shape Analysis CAV 2025
- Thread-modular shape analysis PLDI 2007