by Martin Abadi (Author), Martin Abadi (Author), L. Cardelli (Author)
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also 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. An innovative and important approach to the subject for researchers and graduates.
Format: Illustrated
Pages: 409
Edition: 1st ed. 1996. Corr. 2nd printing 1998
Publisher: Springer
Published: 23 Apr 1998
ISBN 10: 0387947752
ISBN 13: 9780387947754
Book Overview: Springer Book Archives