Using types to analyze and optimize object-oriented programs.

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

Published in: ACM Trans. Program. Lang. Syst. (2001)

Keyphrases

object oriented programs
specification languages
building blocks
integration testing
database
case study
impact analysis