Buch Details
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.
Mehr sehen - Einband Andere
- Schriftsteller Anadi, Martín / Cardelli, Luca
- ISBN13 9780387947754
- ISBN10 0387947752
- Buchseiten 396
- Jahr der Ausgabe 1995
A theory of objects
- Autor/in Martín Anadi , Luca Cardelli
- Verlag COPERNICUS
- ISBN 9780387947754
40,99€
43,15€
-5%
Sendung Kostenlos
Verfügbarkeit prüfen
40,99€
43,15€
-5%
Sendung Kostenlos
Verfügbarkeit prüfen
Unsere Buchhändlerinnen können die Verfügbarkeit überprüfen und dir eine Schätzung geben, wann es fertig sein wird.
Vielen Dank für Ihren Einkauf in echten Buchhandlungen!