Analyzing aliases of reference formal parameters (1985)

by K Cooper
Venue:In Conference Record of the Twelfth ACM Symposium on the Principles of Programming Languages