Simple and e ective analysis of statically-typed object-oriented programs (1996)

by Amer Diwan, J Eliot B Moss, Kathryn S McKinley
Venue:OOPSLA