@inproceedings{CDOY06,
  title = "Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic",
  author = "Cristiano Calcagno and Dino Distefano and Hongseok Yang and Peter W. O'Hearn",
  year = "2006",
  address = "Seoul, Korea",
  booktitle = "Proceedings of the 13th International Static Analysis Symposium",
  isbn = "3-540-37756-5",
  month = "August",
  pages = "182--203",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4134",
}