000			03205nam a2200253 4500
001			vtls002122360
003			MY-SjTCS
005			20200306153445.0
008			110218s1994 mau 00 eng
020			_a026207155X
039		9	_a201909180957 _bummi _c201102181316 _dVLOAD _y200407271925 _zVLOAD
082	0	4	_a005.1 _bTHE
245	0	0	_aTHEORETICAL ASPECTS OF OBJECT-ORIENTED PROGRAMMING : _btypes, semantics, and language design / _cedited by Carl A. Gunter and John C. Mitchell.
260			_aCambridge, Mass. : _bMIT Press, _cc1994.
300			_a548 p. ; _c24 cm.
440		0	_aFoundations of computing series _9200959
505	0		_aSeries Foreword. - Introduction. - 1. Objects and Subtypes. 1. User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction / John C. Reynolds. 2. Using Category Theory to Design Implicit Conversions and Generic Operators / John C. Reynolds. - II. Type Interference. 3. Type Inference for Records in a Natural Extension of ML / Didier Remy. 4. Type Inference for Objects with Instance Variables and Inheritance / Mitchell Wand. 5. Static Type Inference for Parametric Classes / Atsushi Ohori, Peter Buneman. - III. Coherence. 6. A Modest Model of Records, Inheritance, and Bounded Quantification / Kim B. Bruce, Giuseppe Longo. 7. Inheritance as Implicit Coercion / Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov. 8. Coherence of Subsumption, Minimum Typing and Type-Checking in [actual symbol not reproducible] / Pierre-Louis Curien, Giorgio Ghelli. - IV. Record Calculi. 9. Operations on Records / Luca Cardelli, John C. Mitchell. 10. Typing Record Concatenation for Free / Didier Remy. 11. Extensible Records in a Pure Calculus of Subtyping / Luca Cardelli. 12. Bounded Quantification Is Undecidable / Benjamin C. Pierce. - V. Inheritance. 13. Two Semantic Models of Object-Oriented Languages / Samuel N. Kamin, Uday S. Reddy. 14. Inheritance is Not Subtyping / William R. Cook, Walter L. Hill, Peter S. Canning. 15. Toward a Typed Foundation for Method Specialization and Inheritance / John C. Mitchell. - Contributors.
520			_a"Although the theory of object-oriented programming languages os for from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs. The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like lanhuages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages." - Back cover
650		0	_aObject-oriented programming (Computer science) _9200262
650		0	_aProgramming languages (Electronic computers). _9200960
700	1		_aGunter, Carl A. _e(ed.) _910657
700	1		_aMitchell, John C. _e(j.ed.) _910656
920			_aUOSC : 560579
999			_c20754 _d20754