Heap Decomposition for Concurrent Shape Analysis

sas08.pdf
PDF file

In  Static Analysis Symposium (SAS)

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
> Publications > Heap Decomposition for Concurrent Shape Analysis