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

by J Hummel, L J Hendren, A Nicolau
Venue:ACM Letters on Programming Languages and Systems