Verwandte Artikel zu A Theory of Objects (Monographs in Computer Science)

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

Buch 7 von 16: Monographs in Computer Science

Abadi, Martin; Cardelli, Luca

 
9780387947754: A Theory of Objects (Monographs in Computer Science)
Hardcover
ISBN 10: 0387947752 ISBN 13: 9780387947754
Verlag: Springer, 1996

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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 diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0387947752
ISBN 13 
9780387947754
Einband
Gebundene Ausgabe
Anzahl der Seiten
409
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland