Picture 1 of 2


Gallery
Picture 1 of 2


Theoretical Aspects of Object-Oriente d Programming : Types, Seman
Free US Delivery | ISBN:026207155X
US $11.47
Approximately£8.45
Condition:
“Former library book; may include library markings. Used book that is in clean, average condition ”... Read moreAbout condition
Good
A book that has been read, but is in good condition. Minimal damage to the book cover eg. scuff marks, but no holes or tears. If this is a hard cover, the dust jacket may be missing. Binding has minimal wear. The majority of pages are undamaged with some creasing or tearing, and pencil underlining of text, but this is minimal. No highlighting of text, no writing in the margins, and no missing pages. See the seller’s listing for full details and description of any imperfections.
2 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
Free Economy Shipping.
Located in: Mishawaka, Indiana, United States
Delivery:
Estimated between Wed, 18 Jun and Tue, 24 Jun to 94104
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:316737449308
Item specifics
- Condition
- Good
- Seller notes
- Features
- EX-LIBRARY
- Book Title
- Theoretical Aspects of Object-Oriented Programming : Types, Seman
- ISBN
- 9780262071550
About this product
Product Identifiers
Publisher
MIT Press
ISBN-10
026207155X
ISBN-13
9780262071550
eBay Product ID (ePID)
5038305590
Product Key Features
Number of Pages
558 Pages
Language
English
Publication Name
Theoretical Aspects of Object-Oriented Programming : Types, Semantics, and Language Design
Subject
Programming Languages / General, Computer Science, Programming / Object Oriented
Publication Year
1994
Type
Textbook
Subject Area
Computers
Series
Foundations of Computing Ser.
Format
Hardcover
Dimensions
Item Height
1.5 in
Item Weight
38.9 Oz
Item Length
9.3 in
Item Width
7 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
93-028984
Dewey Edition
20
Grade From
College Graduate Student
Illustrated
Yes
Dewey Decimal
005.1
Synopsis
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.Although the theory of object-oriented programming languages is far 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 languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages. Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages., 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., Although the theory of object-oriented programming languages is far 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 languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University., 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.Although the theory of object-oriented programming languages is far 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 languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages. Part I discusses the similarities and differences between objects and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the record model of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.
LC Classification Number
QA76.64.T49 1994
Item description from the seller
Seller business information
About this seller
Better World Books
98.9% positive Feedback•13.5M items sold
Registered as a business seller
Seller Feedback (4,263,628)
- e***g (52)- Feedback left by buyer.Past monthVerified purchaseExcellent prices on used books in great condition. Shipped out quickly. Product condition is accurate to rating in listing. Thanks! NOTE: For this particular book (I ordered several), it came in a soft cover rather than hard cover as the listing stated. I contacted the seller and they responded promptly. They agreed that it was a listing error and provided me with a full refund for this book (without return required) proving they are both a responsible and trustworthy seller.
- 7***j (775)- Feedback left by buyer.Past 6 monthsVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well-packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.
- c***m (404)- Feedback left by buyer.Past monthVerified purchaseAAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Hawaii!; using free shipping; USPS Ground Mail, Hardback Book in Great Condition--Better Than Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!