A Theory of Objects

3 049,00 kr
+ 86,99 kr Leverans
  • product image

A Theory of Objects

  • Märke: Unbranded
Säljs av:

A Theory of Objects

  • Märke: Unbranded

3 049,00 kr

I lager
+ 86,99 kr Leverans

14-dagars returpolicy

Säljs av:

3 049,00 kr

I lager
+ 86,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Martin Abadi
  • Format: Paperback
  • Publiceringsdatum: 2012/09/05
  • Sidantal: 396
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337881920-741541220
  • ISBN: 9781461264453

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 86,99 kr - Leverans mellan kl mån 02 februari 2026–tors 05 februari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy