The Interpretation of Object-Oriented Programming Languages