Abstract description of pointer data structures: An approach for improving the analysis and optimization of imperative programs (1992)

by Joseph Hummel, Laurie J Hendren, Alexandru Nicolau
Venue:ACM Letters on Programming Languages and Systems