Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

Publisher Website

1 January 1996

proceedings article
Published by Association for Computing Machinery (ACM)

p. 1-15
https://doi.org/10.1145/237721.237724

Abstract

No abstract available

Cited by 190 articles