A Theory of Objects - Couverture souple

Abadi, Martin; Cardelli, Luca

Couverture souple

ISBN 10 : 1461264456 ISBN 13 : 9781461264453

Editeur : Springer, 2012

Synopsis

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.

A propos du livre

À propos de la quatrième de couverture

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 1461264456
• ISBN 13: 9781461264453
• Reliure: Broché
• Nombre de pages: 396
• Coordonnées du fabricant: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Allemagne