Existential heap abstraction entailment is undecidable

From Practical Software Verification

Bibtex

@INPROCEEDINGS{Kuncak03existentialheap,
    author = {Viktor Kuncak and Martin Rinard},
    title = {Existential heap abstraction entailment is undecidable},
    booktitle = {In 10th Annual International Static Analysis Symposium (SAS 2003},
    year = {2003},
    pages = {11--13}
}