An Incremental Heap Canonicalization Algorithm
Madanlal Musuvathi and David L. Dill
August 2005
 PDF file |
In: SPIN 05: SPIN Workshop
Publisher: Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type: | Inproceedings |
| Pages: | 28–42 |
Related People
©2009 Microsoft Corporation. All rights reserved.