Taylor's Library Banner

A theory of objects / (Record no. 182435)

MARC details
000 -LEADER
fixed length control field 02130nam a2200241 4500
001 - CONTROL NUMBER
control field vtls001988160
003 - CONTROL NUMBER IDENTIFIER
control field MY-SjTCS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226121417.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110218t1996 nyu 001 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387947752
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201909171449
Level of effort used to assign nonsubject heading access points ummi
Level of effort used to assign subject headings 201102181333
Level of effort used to assign classification VLOAD
-- 200407271919
-- VLOAD
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.131
Item number ABA
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Abadi, Martin.
9 (RLIN) 12036
245 12 - TITLE STATEMENT
Title A theory of objects /
Statement of responsibility, etc. Martin Abadi, Luca Cardelli.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. N.Y. :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c1996
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 396 p. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Monographs in computer science.
9 (RLIN) 97994
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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.
520 ## - SUMMARY, ETC.
Summary, etc. ... 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 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Object-oriented programming (Computer science)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Cardelli, Luca.
Relator term (j.a.)
9 (RLIN) 105281
920 ## - Programme
Programme UOSC : 560493
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Barcode Date last seen Date last checked out Copy number Koha item type Public note
Withdrawn   Dewey Decimal Classification     Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 27/07/2004 1 1000109076 12/12/2019 30/04/2010 1 Main Collection SOCIT, SOCIT, 560493