A Theory of Objects (Monographs in Computer Science) - Hardcover

Abadi, Martin; Cardelli, Luca

Hardcover

ISBN 10: 0387947752 ISBN 13: 9780387947754

Verlag: Springer, 1998

Über diesen Titel

Reseña del editor:

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.

Contraportada:

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.

Über diese Auflage

• Verlag: Springer
• Erscheinungsdatum: 1998
• ISBN 10: 0387947752
• ISBN 13: 9780387947754
• Einband: Tapa dura
• Auflage: 1
• Anzahl der Seiten: 416