Buy this book
- 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.
- Table of contents (23 chapters)
-
-
Prologue
Pages 1-4
-
Object Orientation
Pages 7-10
-
Class-Based Languages
Pages 11-24
-
Advanced Class-Based Features
Pages 25-33
-
Object-Based Languages
Pages 35-49
-
Table of contents (23 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- A Theory of Objects
- Authors
-
- Martin Abadi
- Luca Cardelli
- Series Title
- Monographs in Computer Science
- Copyright
- 1996
- Publisher
- Springer-Verlag New York
- Copyright Holder
- Springer-Verlag New York, Inc.
- eBook ISBN
- 978-1-4419-8598-9
- DOI
- 10.1007/978-1-4419-8598-9
- Hardcover ISBN
- 978-0-387-94775-4
- Softcover ISBN
- 978-1-4612-6445-3
- Series ISSN
- 0172-603X
- Edition Number
- 1
- Number of Pages
- XIII, 396
- Topics