From the Publisher
A detailed presentation of a specific object-oriented language which offers a framework for evaluating the language as well as a source of information about other languages. Surveys problems faced by designers of an object-oriented type system and reviews existing solutions. Defines an idealized language--BOPL (Basic Object Programming Language)--that encompasses common features of SIMULA, SMALLTALK, C++ and EIFFEL. Includes a workbench where algorithms such as type checking and type inference are implemented. Each chapter contains several exercises and suggestions for further readings.