Using types to analyze and optimize object-oriented programs (0)

by Amer Diwan, Kathryn S McKinley, J Eliot B Moss
Venue:ACM Transactions on Programming Languages and Systems