Existential heap abstraction entailment is undecidable (2003)

by Viktor Kuncak , Martin Rinard
Venue:In 10th Annual International Static Analysis Symposium (SAS 2003
Citations:14 - 7 self