Foundations of object-oriented languages types and semantics

Saved in:
Bibliographic Details
Main Author Bruce, Kim B.
Format Electronic eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, ©2002.
Subjects
Object-oriented programming (Computer science)
Programming languages (Electronic computers)
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262255851
Physical Description1 online zdroj (xx, 384 pages)

Cover

Table of Contents:
  • I. Type Problems in Object-Oriented Languages
  • 1. Introduction
  • 2. Fundamental Concepts of Object-Oriented Languages
  • 3. Type Problems in Object-Oriented Languages
  • 4. Adding Expressiveness to Object-Oriented Languages
  • 5. Understanding Subtypes
  • 6. Type Restrictions on Subclasses
  • 7. Varieties of Object-Oriented Programming Languages. Historical Notes and References for Section I
  • II. Foundations: The Lambda Calculus
  • 8. Formal Language Descriptions and the Lambda Calculus
  • 9. The Polymorphic Lambda Calculus. Historical Notes and References for Section II.
  • III. Formal Descriptions of Object-Oriented Languages
  • 10. SOOL, a Simple Object-Oriented Language
  • 11. A Simple Translational Semantics of Objects and Classes
  • 12. Improved Semantics for Classes
  • 13. SOOL's Type System Is Safe (and Sound)
  • 14. Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance. Historical Notes and Reference for Section III
  • IV. Extending Simple Object-Oriented Languages
  • 15. Adding Bounded Polymorphism to SOOL
  • 16. Adding MyType to Object-Oriented Programming Languages
  • 17. Match-Bounded Polymorphism.
  • 18. Simplifying: Dropping Subtyping for Matching. Historical Notes and References for Section IV.

Similar Items