TY  - BOOK
AU  - Abadi,Martin
AU  - Cardelli,Luca
TI  - A theory of objects
SN  - 0387947752
U1  - 005.131 
PY  - 1996///
CY  - N.Y.
PB  - Springer
KW  - Object-oriented programming (Computer science)
N1  - Preface. - Prologue. - Review: Object-Oriented Features. - 1. Object Orientation. 2. Class-Based Languages. 3. Advanced Class-Based Features. 4. Object-Based Languages. 5. Modeling Object-Oriented Languages. - Pt. 1: Untyped and First-Order Calculi. - 6. Untyped Calculi  7. First-Order Calcul. 8. Subtyping. 9. Recursion. 10. Untyped Imperative Calcul. 11 First-Order Imperative Calculi. 12. A First-Order Language. - Pt. 11: Second-Order Calculi. 13. Second-Order Calculi. 14. A Semantics. 15 Definable Covariant Self Types. 16. Primitive Covariant Self Types. 17. Imperative Calculi with Self Types. 18. Interpretations of Object Calculi. 19. A Second-Order Language. - Pt. 111: Higher-Order Calculi.  20. A Higher-Order Calculus. 21. A Language with Matching. - Epilogue. - Appendix  A. Fragments. - Appendix B. Systems. - Appendix C. Proofs. - List of Figures. - List of Tables. - List of Notations. - List of Languages. - Bibliography. - Index
N2  - ... 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, protoyping, subtyping, covariance and contravariance, and method specialization. - Back page
ER  -