Heap Decomposition for Concurrent Shape Analysis

Roman Manevich, T. Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine

Details

Publication typeInproceedings
Published inStatic Analysis Symposium (SAS)
PublisherSpringer Verlag
> Publications > Heap Decomposition for Concurrent Shape Analysis