menu
{ "item_title" : "A Theory of Objects", "item_author" : [" Martin Abadi", "Luca Cardelli "], "item_description" : "Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages. 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, prototyping, subtyping, covariance and contravariance, and method specialization. Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/0/38/794/775/0387947752_b.jpg", "price_data" : { "retail_price" : "249.99", "online_price" : "249.99", "our_price" : "249.99", "club_price" : "249.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
A Theory of Objects|Martin Abadi

A Theory of Objects

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages. 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, prototyping, subtyping, covariance and contravariance, and method specialization. Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

This item is Non-Returnable

Details

  • ISBN-13: 9780387947754
  • ISBN-10: 0387947752
  • Publisher: Springer
  • Publish Date: August 1996
  • Dimensions: 9.51 x 6.43 x 1.17 inches
  • Shipping Weight: 1.56 pounds
  • Page Count: 396

Related Categories

You May Also Like...

    1

BAM Customer Reviews