The Interpretation of Object-Oriented Programming Languages

Object-oriented languages are probably the most important development in computing for many years. They allow us to describe and to model the phys­ ical as well as more abstract worlds. They allow us to provide the computa­ tional entities we describe with a dynamics that is encapsulated, thus leading to a more distributed notion of state, a notion which, inter alia, makes pro­ gramming and analysis somewhat more tractable. Unfortunately, if one wants to understand the concepts that are currentl