A Theory of Objects Hardcover - 1996
by Martin Abadi; Luca Cardelli
This book shows how object-oriented notions may be expressed in terms of a few basic primitives, and how these can be used to design and understand object-oriented programming languages. Using this approach, the authors 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.
From the rear cover
Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages. In this book the authors take a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them. The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization. Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.
Details
- Title A Theory of Objects
- Author Martin Abadi; Luca Cardelli
- Binding Hardcover
- Edition 1st
- Pages 396
- Volumes 1
- Language ENG
- Publisher Springer, New York
- Date 1996-08-09
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9780387947754 / 0387947752
- Weight 1.56 lbs (0.71 kg)
- Dimensions 9.51 x 6.43 x 1.17 in (24.16 x 16.33 x 2.97 cm)
- Library of Congress subjects Object-oriented programming (Computer
- Library of Congress Catalog Number 96017038
- Dewey Decimal Code 005.131
More Copies for Sale
A Theory of Objects
Martin Abadi et Luca Cardelli
We are sorry, this copy is no longer available.
A Theory of Objects (Monographs in Computer Science)
by Abadi, Martin; Cardelli, Luca
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387947754 / 0387947752
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
A$255.11A$8.40 shipping to USA
Show Details
A Theory of Objects
by Luca Cardelli Martin Abadi
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387947754 / 0387947752
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
A$261.17A$6.15 shipping to USA
Show Details
A Theory of Objects
by Martin Abadi
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387947754 / 0387947752
- Quantity Available
- 755
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$426.35A$15.45 shipping to USA
Show Details
A Theory of Objects (Monographs in Computer Science)
by Abadi, Martin; Cardelli, Luca
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387947754 / 0387947752
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
A$562.76A$23.13 shipping to USA