A Theory of Objects

Valutazione media 4,29
( su 7 valutazioni fornite da GoodReads )
 
9780387947754: A Theory of Objects

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.

I migliori risultati di ricerca su AbeBooks

1.

Mauricio Abadi, L. Cardelli
Editore: Springer-Verlag New York Inc., United States (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., United States, 1998. Hardback. Condizione libro: New. 1st ed. 1996. Corr. 2nd printing 1998. 236 x 155 mm. Language: English . Brand New Book. 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. Codice libro della libreria LIB9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 163,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Mauricio Abadi
Editore: Springer-Verlag New York Inc. (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., 1998. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 163,44
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

3.

Mauricio Abadi, L. Cardelli
Editore: Springer-Verlag New York Inc., United States (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., United States, 1998. Hardback. Condizione libro: New. 1st ed. 1996. Corr. 2nd printing 1998. 236 x 155 mm. Language: English . Brand New Book. 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. Codice libro della libreria LIB9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 167,22
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Mauricio Abadi
Editore: Springer-Verlag New York Inc. (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., 1998. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 160,33
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,62
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Abadi, Martin
Editore: Springer (2016)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780387947754_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 167,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,92
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

MARTIN ABADI
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 1996. Hardback. Condizione libro: NEW. 9780387947754 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0275571

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 164,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,44
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Mauricio Abadi, L. Cardelli
Editore: Springer-Verlag New York Inc. 1998-04-23, New York, NY (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc. 1998-04-23, New York, NY, 1998. hardback. Condizione libro: New. Codice libro della libreria 9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 170,08
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,31
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Martin Abadi, Luca Cardelli
Editore: Springer (1996)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1996. Hardcover. Condizione libro: New. Corrected. This item is printed on demand. Codice libro della libreria DADAX0387947752

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 182,18
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

9.

Martin Abadi
Editore: Springer Apr 1998 (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Quantità: 1
Valutazione libreria
[?]

Descrizione libro Springer Apr 1998, 1998. Buch. Condizione libro: Neu. 235x155x28 mm. Neuware - Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and 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. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming. 420 pp. Englisch. Codice libro della libreria 9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 176,54
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 12,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

10.

Abadi, Martin; Cardelli, Luca
Editore: Springer (1998)
ISBN 10: 0387947752 ISBN 13: 9780387947754
Nuovi Rilegato Quantità: 1
Da
Valutazione libreria
[?]

Descrizione libro Springer, 1998. Condizione libro: New. Codice libro della libreria L9780387947754

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 183,69
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,55
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro