Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs (1992)

by Laurie J Hendren, Joseph Hummell, Alexandru Nicolau
Venue:In PLDI ’92: Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation