Rakesh Ghiya, Laurie J. Hendren
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C
POPL, 1996.
@inproceedings{POPL-1996-GhiyaH,
author = "Rakesh Ghiya and Laurie J. Hendren",
booktitle = "{Conference Record of the 23rd Symposium on Principles of Programming Languages}",
doi = "10.1145/237721.237724",
editor = "Hans-Juergen Boehm and Guy L. Steele Jr.",
isbn = "0-89791-769-3",
pages = "1--15",
publisher = "{ACM Press}",
title = "{Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C}",
year = 1996,
}