Heap Decomposition for Concurrent Shape Analysis
Roman Manevich, T. Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine
July 2008
 PDF file |
In: Static Analysis Symposium (SAS)
Publisher: Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type: | Inproceedings |
©2009 Microsoft Corporation. All rights reserved.