An Incremental Heap Canonicalization Algorithm

Madanlal Musuvathi and David L. Dill

Details

Publication typeInproceedings
Published inSPIN 05: SPIN Workshop
Pages28–42
PublisherSpringer Verlag
> Publications > An Incremental Heap Canonicalization Algorithm