Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Theory of Objects

  • Book
  • © 1996

Overview

Authors:
  1. Martín Abadi

    1. Systems Research Center, Digital Equipment Corporation, Palo Alto, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Luca Cardelli

    1. Systems Research Center, Digital Equipment Corporation, Palo Alto, USA
      Microsoft Research, Cambridge, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 249.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Prologue

    1. Prologue

      • Martín Abadi, Luca Cardelli
      Pages 1-4

  3. Review Object-Oriented Features

    1. Front Matter

      Pages 5-5
      Download chapter PDF

    2. Object Orientation

      • Martín Abadi, Luca Cardelli
      Pages 7-10

    3. Class-Based Languages

      • Martín Abadi, Luca Cardelli
      Pages 11-24

    4. Advanced Class-Based Features

      • Martín Abadi, Luca Cardelli
      Pages 25-33

    5. Object-Based Languages

      • Martín Abadi, Luca Cardelli
      Pages 35-49

    6. Modeling Object-Oriented Languages

      • Martín Abadi, Luca Cardelli
      Pages 51-54

  4. Untyped and First-Order Calculi

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Untyped Calculi

      • Martín Abadi, Luca Cardelli
      Pages 57-78

    3. First-Order Calculi

      • Martín Abadi, Luca Cardelli
      Pages 79-92

    4. Subtyping

      • Martín Abadi, Luca Cardelli
      Pages 93-112

    5. Recursion

      • Martín Abadi, Luca Cardelli
      Pages 113-128

    6. Untyped Imperative Calculi

      • Martín Abadi, Luca Cardelli
      Pages 129-139

    7. First-Order Imperative Calculi

      • Martín Abadi, Luca Cardelli
      Pages 141-152

    8. A First-Order Language

      • Martín Abadi, Luca Cardelli
      Pages 153-165

  5. Second-Order Calculi

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Second-Order Calculi

      • Martín Abadi, Luca Cardelli
      Pages 169-184

    3. A Semantics

      • Martín Abadi, Luca Cardelli
      Pages 185-199

    4. Definable Covariant Self Types

      • Martín Abadi, Luca Cardelli
      Pages 201-219
Back to top

Keywords

About this book

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

Authors and Affiliations

  • Systems Research Center, Digital Equipment Corporation, Palo Alto, USA

    Martín Abadi, Luca Cardelli

  • Microsoft Research, Cambridge, UK

    Luca Cardelli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation