@inproceedings{DiOhYa06,
  title = "A local shape analysis based on separation logic",
  author = "Dino Distefano and Peter W. O'Hearn and Hongseok Yang",
  year = "2006",
  address = "Vienna",
  booktitle = "Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  isbn = "3-540-33056-9",
  month = "April",
  pages = "287--302",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3920",
}