Taylor's Library Banner
Image from Google Jackets

A theory of objects / Martin Abadi, Luca Cardelli.

By: Contributor(s): Series: Monographs in computer sciencePublication details: N.Y. : Springer, c1996Description: xiii, 396 p. ; 25 cmISBN:
  • 0387947752
Subject(s): DDC classification:
  • 005.131 ABA
Contents:
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.
Summary: ... 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
No physical items for this record

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.

... 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