@inproceedings{CDOY-sas07,
  title = "Footprint Analysis: A Shape Analysis that Discovers Preconditions",
  author = "Cristiano Calcagno and Dino Distefano and Peter W. O'Hearn and Hongseok Yang",
  year = "2007",
  booktitle = "Proceedings of the 14th International Static Analysis Symposium",
  isbn = "978-3-540-74060-5",
  month = "August",
  pages = "402--418",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4634",
}