Skip to content

Foundations of Object-Oriented Languages Types and Semantics

ISBN-10: 026202523X

ISBN-13: 9780262025232

Edition: 2002

Authors: Kim B. Bruce

List price: $50.00
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them. The text begins by analyzing existing object-oriented languages, paying special attention to their type systems and impediments to expressiveness. It then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system similar to those of class-based object-oriented languages in common use. The text offers proof that the type system is sound by showing that the semantics preserves typing information. It concludes with a discussion of desirable features, such as parametric polymorphism and a MyType construct, that are not yet included in most statically typed object-oriented languages.
Customers also bought

Book details

List price: $50.00
Copyright year: 2002
Publisher: MIT Press
Publication date: 3/1/2002
Binding: Hardcover
Pages: 404
Size: 8.25" wide x 9.25" long x 1.25" tall
Weight: 2.486
Language: English

List of Figures
Preface
Type Problems in Object-Oriented Languages
Introduction
Fundamental Concepts of Object-Oriented Languages
Type Problems in Object-Oriented Languages
Adding Expressiveness to Object-Oriented Languages
Understanding Subtypes
Type Restrictions on Subclasses
Varieties of Object-Oriented Programming Languages
Historical Notes and References for Section I
Foundations: The Lambda Calculus
Formal Language Descriptions and the Lambda Calculus
The Polymorphic Lambda Calculus
Historical Notes and References for Section II
Formal Descriptions of Object-Oriented Languages
SOOL, a Simple Object-Oriented Language
A Simple Translational Semantics of Objects and Classes
Improved Semantics for Classes
SOOL's Type System Is Safe (and Sound)
Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance
Historical Notes and Reference for Section III
Extending Simple Object-Oriented Languages
Adding Bounded Polymorphism to SOOL
Adding MyType to Object-Oriented Programming Languages
Match-Bounded Polymorphism
Simplifying: Dropping Subtyping for Matching
Historical Notes and References for Section IV
Bibliography
Index