Foundations of Object-oriented Languages: Types and Semantics

Front Cover
MIT Press, 2002 - Computers - 384 pages
0 Reviews
Reviews aren't verified, but Google checks for and removes fake content when it's identified

In recent years, object-oriented programming has emerged as the dominant computerprogramming style, and object-oriented languages such as C++ and Java enjoy wide use in academia andindustry. This text explores the formal underpinnings of object-oriented languages to help thereader understand the fundamental concepts of these languages and the design decisions behindthem.The text begins by analyzing existing object-oriented languages, paying special attention totheir type systems and impediments to expressiveness. It then examines two key features: subtypesand subclasses. After a brief introduction to the lambda calculus, it presents a prototypicalobject-oriented language, SOOL, with a simple type system similar to those of class-basedobject-oriented languages in common use. The text offers proof that the type system is sound byshowing that the semantics preserves typing information. It concludes with a discussion of desirablefeatures, such as parametric polymorphism and a MyType construct, that are not yet included in moststatically typed object-oriented languages.


What people are saying - Write a review

We haven't found any reviews in the usual places.


Fundamental Concepts of ObjectOriented Languages
Type Problems in ObjectOriented Languages
Adding Expressiveness to ObjectOriented Languages
Understanding Subtypes
Type Restrictions on Subclasses
Varieties of ObjectOriented Programming Languages
Historical Notes and References for Section I
A Simple Translational Semantics of Objects and Classes
Improved Semantics for Classes
SOOLs Type System Is Safe and Sound
super nil Information Hiding and Multiple
Adding Bounded Polymorphism to SOOL
Adding MyType to ObjectOriented Programming Languages
MatchBounded Polymorphism
Dropping Subtyping for Matching

Formal Language Descriptions and the Lambda Calculus
The Polymorphic Lambda Calculus
Historical Notes and References for Section II
SOOL a Simple ObjectOriented Language
Historical Notes and References for Section III

Other editions - View all

Common terms and phrases

Popular passages

Page 372 - Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, New Orleans, volume 1 of Electronic Notes in Theoretical Computer Science.
Page 367 - America and F. Van Der Linden. A parallel object-oriented language with inheritance and subtyping.
Page 376 - Turner. Statically typed friendly functions via partially abstract types. Technical Report ECS-LFCS-93-256, University of Edinburgh, LFCS, April 1993. Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899.
Page 372 - Godei à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types. In JE Fenstad, editor, 2nd Scandinavian Logic Symposium, pages 63-92.
Page 375 - JC Mitchell and GD Plotkin. Abstract types have existential types. ACM Trans, on Programming Languages and Systems, 10(3):470-502, 1988.
Page 374 - Dinesh Katiyar, David Luckham, and John Mitchell. A type system for prototyping languages. In 21st ACM Symp.
Page 372 - J. Eifrig, S. Smith, V. Trifonov, and A. Zwarico. Application of OOP type theory: State, decidability, integration.
Page 374 - ACM, 1983. [MBL97] Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized types for Java. In Symposium on Principles of Programming Languages, pages 132-145, ACM, 1997.

About the author (2002)

Kim B. Bruce is Frederick Latimer Wells Professor of Computer Science at Williams College.

Bibliographic information