000			02130nam a2200241 4500
001			vtls001988160
003			MY-SjTCS
005			20200226121417.0
008			110218t1996 nyu 001 eng
020			_a0387947752
039		9	_a201909171449 _bummi _c201102181333 _dVLOAD _y200407271919 _zVLOAD
082	0	4	_a005.131 _bABA
100	1		_aAbadi, Martin. _912036
245	1	2	_aA theory of objects / _cMartin Abadi, Luca Cardelli.
260			_aN.Y. : _bSpringer, _cc1996
300			_axiii, 396 p. ; _c25 cm.
440		0	_aMonographs in computer science. _997994
505	0		_aPreface. - 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.
520			_a... 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
650		0	_aObject-oriented programming (Computer science)
700	1		_aCardelli, Luca. _e(j.a.) _9105281
920			_aUOSC : 560493
999			_c182435