Foundations of Object-Oriented Languages Types and Semantics

Name: Foundations of Object-Oriented Languages Types and Semantics
Price: 78.64 USD
Availability: InStock
ISBN: 9780262025232

ISBN-10: 026202523X

ISBN-13: 9780262025232

Edition: 2002

Authors: Kim B. Bruce

List price: $50.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $78.64

what's this?

Rush Rewards U
Members Receive:

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,…

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