Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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