|Listed in category:
Have one to sell?

Theoretical Aspects of Object-Oriented Programming : Types, Seman

Free US Delivery | ISBN:026207155X
Better World Books
(2751728)
Registered as a business seller
US $11.47
Approximately£8.45
Condition:
Good
Former library book; may include library markings. Used book that is in clean, average condition ... Read moreAbout condition
2 available
Breathe easy. Returns accepted.
Postage:
Free Economy Shipping.
Located in: Mishawaka, Indiana, United States
Delivery:
Estimated between Wed, 18 Jun and Tue, 24 Jun to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
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:
    Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Seller assumes all responsibility for this listing.
eBay item number:316737449308
Last updated on 06 Jun, 2025 02:43:51 BSTView all revisionsView all revisions

Item specifics

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. See all condition definitionsopens in a new window or tab
Seller notes
“Former library book; may include library markings. Used book that is in clean, average condition ...
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
Author
John C. Mitchell
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

I certify that all my selling activities will comply with all EU laws and regulations.
About this seller

Better World Books

98.9% positive Feedback13.5M items sold

Joined Nov 2002
Registered as a business seller
Better World Books is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale ...
See more

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
5.0
Communication
5.0

Seller Feedback (4,263,628)

All ratings
Positive
Neutral
Negative
  • e***g (52)- Feedback left by buyer.
    Past month
    Verified purchase
    Excellent 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 months
    Verified purchase
    I 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 month
    Verified purchase
    AAA+++; 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!