A Theory of Objects

A Theory of Objects
Author: Martín Abadi
Language English
Pages: 396
ISBN10: 0387947752
Genre: Computer Science
Series Monographs in Computer Science
Goodreads Rating: 4.20
ISBN13: 9780387947754
Published: April 23rd 1998 by Springer

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.