000 -LEADER |
fixed length control field |
03205nam a2200253 4500 |
001 - CONTROL NUMBER |
control field |
vtls002122360 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
MY-SjTCS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200306153445.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
110218s1994 mau 00 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
026207155X |
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
Level of rules in bibliographic description |
201909180957 |
Level of effort used to assign nonsubject heading access points |
ummi |
Level of effort used to assign subject headings |
201102181316 |
Level of effort used to assign classification |
VLOAD |
-- |
200407271925 |
-- |
VLOAD |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1 |
Item number |
THE |
245 00 - TITLE STATEMENT |
Title |
THEORETICAL ASPECTS OF OBJECT-ORIENTED PROGRAMMING : |
Remainder of title |
types, semantics, and language design / |
Statement of responsibility, etc. |
edited by Carl A. Gunter and John C. Mitchell. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cambridge, Mass. : |
Name of publisher, distributor, etc. |
MIT Press, |
Date of publication, distribution, etc. |
c1994. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
548 p. ; |
Dimensions |
24 cm. |
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
Foundations of computing series |
9 (RLIN) |
200959 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Series 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 ## - SUMMARY, ETC. |
Summary, etc. |
"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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Object-oriented programming (Computer science) |
9 (RLIN) |
200262 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Programming languages (Electronic computers). |
9 (RLIN) |
200960 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Gunter, Carl A. |
Relator term |
(ed.) |
9 (RLIN) |
10657 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Mitchell, John C. |
Relator term |
(j.ed.) |
9 (RLIN) |
10656 |
920 ## - Programme |
Programme |
UOSC : 560579 |
999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
Koha biblionumber |
20754 |
Koha biblioitemnumber |
20754 |