Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

by John C. Mitchell and Carl A. Gunter

Book Overview

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately...

• Format: Hardcover
• Language: English
• ISBN: 026207155X
• ISBN13: 9780262071550
• Release Date: June 1994
• Publisher: MIT Press
• Length: 560 Pages
• Weight: 2.50 lbs.
• Dimensions: 1.5" x 7.5" x 9.4"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher