Simple and Effective Analysis of Statically Typed Object-Oriented Programs.

Amer Diwan, J. Eliot B. Moss, Kathryn S. McKinley

Browse the full OOPSLA paper archive.