Foundations of Object-Oriented Languages: Types and Semantics

$26.01
1 in stock

Pickup available at Bookstore (Hours: Open Everyday, 8 am to 4 pm)

Usually ready in 24 hours


About this item

In recent years, object-oriented programming has emerged as the dominant computerprogramming style, and object-oriented languages such as C++ and Java enjoy wide use in academia andindustry. This text explores the formal underpinnings of object-oriented languages to help thereader understand the fundamental concepts of these languages and the design decisions behindthem.The text begins by analyzing existing object-oriented languages, paying special attention totheir type systems and impediments to expressiveness. It then examines two key features: subtypesand subclasses. After a brief introduction to the lambda calculus, it presents a prototypicalobject-oriented language, SOOL, with a simple type system similar to those of class-basedobject-oriented languages in common use. The text offers proof that the type system is sound byshowing that the semantics preserves typing information. It concludes with a discussion of desirablefeatures, such as parametric polymorphism and a MyType construct, that are not yet included in moststatically typed object-oriented languages.
ASIN: 026202523X
VSKU: DBV.026202523X.A
Condition: Acceptable
Author/Artist:Bruce, Kim B.
Binding: Hardcover
Note: Any images shown are stock photographs and product may differ from what is shown.
Condition Notes: This copy has clearly been enjoyed—expect noticeable shelf wear and some minor creases to the cover. Binding is strong, and all pages are legible. May contain previous library markings or stamps.
Note on Condition

Most of the items in our store are used. The item's condition grade is indicated near the bottom of the product description. If you have any questions regarding specific details of an item, please contact us. We use the following rating scale:

Books:

  • Used - Very Good: Item may have minor cosmetic defects (marks, wears, cuts, bends, crushes) on the cover, spine, pages or dust cover. Shrink wrap, dust covers, or boxed set case may be missing. Item may contain remainder marks on outside edges, which should be noted in listing comments. Item may be missing bundled media. 
  • Used - Good: All pages and cover are intact (including the dust cover, if applicable). Spine may show signs of wear. Pages may include limited notes and highlighting. Gently used ex-library books with library stickers and markings may be classified as good. Shrink wrap, dust covers, or boxed set case may be missing. Item may be missing bundled media. 
  • Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may but the dust cover may be missing. Pages may include limited notes and highlighting, but the text cannot be obscured or unreadable.

CDs/DVDs/Discs:

  • Used - Good: Case may be damaged or come repackaged. Disc may have up to 1.5cm marking but is in great working condition. 
  • Used - Acceptable: A product with extensive external signs of wear, but is in great working condition. The case may be damaged. The cover art, liner, notes, or other inclusion may be marked, or one or all of these items may be missing.
Shipping & Returns

Shipping: Most orders are shipped within 2 business days.

Returns: We want you to be completely satisfied with your purchase. If you're not, you can return your order within 30 days of purchase for a refund.

Fast Shipping

Orders are typically processed and shipped within 2 days

Competitive Pricing

We've streamlined our processes to provide competitive prices on all our titles

Exceptional Customer Service

Our dedicated team is committed to providing outstanding customer support