Abstract

Semantics of object-oriented programming languages.