Picture 1 of 1

Stock photo

A Theory of Objects (Monographs in Computer Science) by Abadi, Martin, Cardelli - Picture 1 of 1

A Theory of Objects by Martin Abadi, Luca Cardelli (Hardcover, 1998)

Phatpocket Book Shoppe (41374)

99.2% positive Feedback

Price:

£74.77

Free delivery in 2-3 days

Estimated between Fri, 20 Jun and Sat, 21 Jun

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

Good

Authors : Abadi, Martin, Cardelli, Luca. A Theory of Objects (Monographs in Computer Science). Title : A Theory of Objects (Monographs in Computer Science). We specialise in high quality textbooks across an enormous variety of subjects.

About this product

Product Information

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.