Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1996

A Theory of Objects

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)

Sections

Buy it now

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

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

Table of contents (23 chapters)

  1. Front Matter

    Pages i-xiii
    PDF

  2. Prologue

    1. Prologue

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

  3. Review Object-Oriented Features

    1. Front Matter

      Pages 5-5
      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
      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
      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

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.
Back to top

Keywords

Back to top

Authors and Affiliations

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

    Martín Abadi, Luca Cardelli

  • Microsoft Research, Cambridge, UK

    Luca Cardelli

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation