A Theory of Objects

€279.00
+ €5.49 Shipping
  • product image
A Theory of Objects

A Theory of Objects

  • Brand: Unbranded
Sold by:

A Theory of Objects

  • Brand: Unbranded

€279.00

In stock
+ €5.49 Shipping

14-Day Returns Policy

Sold by:

€279.00

In stock
+ €5.49 Shipping

14-Day Returns Policy

Payment methods:

Description

A Theory of Objects

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. - I: Untyped and First-Order Calculi. - 6 Untyped Calculi. - 7 First-Order Calculi. - 8 Subtyping. - 9 Recursion. - 10 Untyped Imperative Calculi. - 11 First-Order Imperative Calculi. - 12 A First-Order Language. - II: 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. - III: Higher-Order Calculi. - 20 A Higher-Order Calculus. - 21 A Language with Matching. - Epilogue. - APPENDIX: Rules and Proofs. - A Fragments. - A. 1 Simple-Objects Fragments. - A. 2 Other Typing Fragments. - A. 3 Other Equational Fragments. - B Systems. - C Proofs. - C. 1 Proof of the Variance Lemma from Section 13. 3. - C. 2 Proof of the Variance Lemma from Section 16. 4. - C. 3 Deriving the Rules for ?-Objects from Section 15. 1. 2. - C. 4 Denotational Soundness of Equational Rules. - List of Figures. - List of Tables. - List of Notations. - List of Languages. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Martin Abadi
  • Format: Paperback
  • Language: English
  • Publication Date: 2012/09/05
  • Publisher / Label: Springer
  • Number of Pages: 396
  • Fruugo ID: 337881920-741541220
  • ISBN: 9781461264453

Delivery & Returns

Dispatched within 6 days

  • STANDARD: €5.49 - Delivery between Tue 06 January 2026–Fri 09 January 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy