Single and Loving It: Must-alias Analysis for Higher-order Languages (1998)

by S Jagannathan, P Thiemann, S Weeks, A Wright
Venue:In Symposium on Principles of Programming Languages (POPL