Advertisement

© 1996

A Theory of Objects

Book

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Prologue

    1. Martín Abadi, Luca Cardelli
      Pages 1-4
  3. Review Object-Oriented Features

    1. Front Matter
      Pages 5-5
    2. Martín Abadi, Luca Cardelli
      Pages 7-10
    3. Martín Abadi, Luca Cardelli
      Pages 11-24
    4. Martín Abadi, Luca Cardelli
      Pages 25-33
    5. Martín Abadi, Luca Cardelli
      Pages 35-49
    6. Martín Abadi, Luca Cardelli
      Pages 51-54
  4. Untyped and First-Order Calculi

    1. Front Matter
      Pages 55-55
    2. Martín Abadi, Luca Cardelli
      Pages 57-78
    3. Martín Abadi, Luca Cardelli
      Pages 79-92
    4. Martín Abadi, Luca Cardelli
      Pages 93-112
    5. Martín Abadi, Luca Cardelli
      Pages 113-128
    6. Martín Abadi, Luca Cardelli
      Pages 129-139
    7. Martín Abadi, Luca Cardelli
      Pages 141-152
    8. Martín Abadi, Luca Cardelli
      Pages 153-165
  5. Second-Order Calculi

    1. Front Matter
      Pages 167-167
    2. Martín Abadi, Luca Cardelli
      Pages 169-184
    3. Martín Abadi, Luca Cardelli
      Pages 185-199
    4. Martín Abadi, Luca Cardelli
      Pages 201-219

About this book

Introduction

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.

Keywords

Annotation D programming language Delegation Inform class object object-oriented programming

Authors and affiliations

  1. 1.Systems Research CenterDigital Equipment CorporationPalo AltoUSA
  2. 2.Microsoft ResearchCambridgeUK

Bibliographic information