商品簡介
Brings together the most important contributions to the development of the theory of object-oriented programming to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs. The 15 chapters are divided into five parts: objects and subtypes, type inference, coherence, record calculi, and inheritance. The chapters are organized in approximate order of increasing complexity of the programming language constructs they consider beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages. Annotation copyright Book News, Inc. Portland, Or.
