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 |
Share
