![](/img/cover-not-exists.png)
[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
Ghiya, Rakesh, Hendren, Laurie J.Year:
1996
Language:
english
DOI:
10.1145/237721.237724
File:
PDF, 1.44 MB
english, 1996