Articoli correlati a A Theory of Objects

A Theory of Objects - Rilegato

 
9780387947754: A Theory of Objects
Vedi tutte le copie di questo ISBN:
 
 
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. An innovative and important approach to the subject for researchers and graduates.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:
Prologue.- Review: Object-Oriented Features.- 1 Object Orientation.- 1.1 Objects.- 1.2 Reuse.- 1.3 Classifying Features.- 2 Class-Based Languages.- 2.1 Classes and Objects.- 2.2 Method Lookup.- 2.3 Subclasses and Inheritance.- 2.4 Subsumption and Dynamic Dispatch.- 2.5 Type Information, Lost and Found.- 2.6 Covariance, Contravariance, and Invariance.- 2.7 Method Specialization.- 2.8 Self Type Specialization.- 3 Advanced Class-Based Features.- 3.1 Object Types.- 3.2 Distinguishing Subclassing from Subtyping.- 3.3 Type Parameters.- 3.4 Subclassing without Subtyping.- 3.5 Object Protocols.- 4 Object-Based Languages.- 4.1 Objects without Classes.- 4.2 Prototypes and Clones.- 4.3 Inheritance by Embedding and by Delegation.- 4.4 Embedding.- 4.5 Delegation.- 4.6 Embedding versus Delegation.- 4.7 Dynamic Inheritance and Mode-Switching.- 4.8 Traits: From Prototypes back to Classes?.- 4.9 Types for Object-Based Languages.- 5 Modeling Object-Oriented Languages.- 5.1 Reduction to Basic Mechanisms.- 5.2 The Role of Method Update.- 5.3 The Scope of this Book.- I: Untyped and First-Order Calculi.- 6 Untyped Calculi.- 6.1 Object Primitives.- 6.2 The ?-Calculus.- 6.3 Functions as Objects.- 6.4 Fixpoints.- 6.5 Examples.- 6.6 Traits, Classes, and Inheritance.- 6.7 Interpretations of Objects.- 7 First-Order Calculi.- 7.1 Formal Systems.- 7.2 The Object Fragment.- 7.3 Standard First-Order Fragments.- 7.4 Examples.- 7.5 Some Properties of Ob1.- 7.6 First-Order Equational Theories.- 7.7 Functions and Fixpoints.- 8 Subtyping.- 8.1 Subtyping.- 8.2 Examples.- 8.3 Some Properties of Ob1.- 8.4 First-Order Equational Theories with Subtyping.- 8.5 Classes and Inheritance.- 8.6 Objects versus Records.- 8.7 Variance Annotations.- 9 Recursion.- 9.1 Recursion.- 9.2 Recursion and Subsumption.- 9.3 Some Properties of Ob1 Higher-Order Calculi.- 20 A Higher-Order Calculus.- 20.1 Syntax of Ob?

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer-Nature New York Inc
  • Data di pubblicazione1998
  • ISBN 10 0387947752
  • ISBN 13 9780387947754
  • RilegaturaCopertina rigida
  • Numero edizione1
  • Numero di pagine396
  • Valutazione libreria

Altre edizioni note dello stesso titolo

9781461264453: A Theory of Objects

Edizione in evidenza

ISBN 10:  ISBN 13:  9781461264453
Casa editrice: Springer, 2013
Brossura

  • 9781441985996: A Theory of Objects

    Springer, 2011
    Brossura

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
Wizard Books
(Long Beach, CA, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. New. Codice articolo Wizard0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 139,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,24
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
GoldBooks
(Austin, TX, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 140,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,93
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin, Cardelli, Luca
Editore: Springer (2024)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 2
Print on Demand
Da:
Save With Sam
(North Miami, FL, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: New. Brand New! This item is printed on demand. Codice articolo VIB0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 145,02
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
GoldenWavesOfBooks
(Fayetteville, TX, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 142,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
Grumpys Fine Books
(Tijeras, NM, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. Prompt service guaranteed. Codice articolo Clean0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 144,25
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,93
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
LibraryMercantile
(Humble, TX, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: new. Codice articolo newMercantile_0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 149,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
Front Cover Books
(Denver, CO, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: new. Codice articolo FrontCover0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 148,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,98
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin; Cardelli, Luca
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
BennettBooksLtd
(LOS ANGELES, CA, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 1.65. Codice articolo Q-0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 150,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,95
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
GoldenDragon
(Houston, TX, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. Buy for Great customer experience. Codice articolo GoldenDragon0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 159,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,01
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Abadi, Martin
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovo Rilegato Quantità: 1
Da:
Big Bill's Books
(Wimberley, TX, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. Brand New Copy. Codice articolo BBB_new0387947752

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 182,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro