Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780817639051: Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan­ guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over­ loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single­ dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.

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

From the Back Cover:

The language Simula is the precursor of all object-oriented languages. It imposed a certain style of programming that was followed by all class-based object-oriented languages until the appearance of the so-called multiple-dispatching languages such as CLOS, in which a different style of object-oriented programming arose. This new style was induced by the clear separation in these languages between objects and methods.

Review:

Castagna has done a brilliant job of modeling the concepts needed to compare the different styles of object-oriented programming. This is not an easy read, but you'll come away having learned something. -- The The USENIX Association Newsletter

The book provides a model for uniform analysis of the basic issues of object-oriented programming. It is self contained and may be used by researchers, teachers and practitioners as well. -- Zentralblatt Fur Mathematik Und Ihre Grenzgebiete, BD. 871, 1997

This book bridges the gap between theory and practice of OO programming. Without making theoretical concessions, Castagna manages to make typing issues accessible to both practitioners and theoreticians through a well-thought out and clear presentation. The important contributions he has made are a major step forward. I would like to recommend this book especially to OO programming practitioners who would like to obtain a more thorough understanding of the underlying issues, and to teachers and scholars in this field. -- L'OBJET, 1997

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

I migliori risultati di ricerca su AbeBooks

1.

Giuseppe Castagna
Editore: BIRKHAUSER BOSTON INC, United States (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro BIRKHAUSER BOSTON INC, United States, 1997. Hardback. Condizione libro: New. 1997 ed.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. by Luea Cardelli Ever since Strachey s work in the 1960 s, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan- guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over- loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier.Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single- dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism. Codice libro della libreria LIE9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 160,89
Convertire valuta

Aggiungere al carrello

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

2.

Giuseppe Castagna
Editore: Birkhauser Boston Inc (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhauser Boston Inc, 1997. 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-9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 157,57
Convertire valuta

Aggiungere al carrello

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

3.

Castagna, Giuseppe
Editore: Birkhäuser (2016)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 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 ria9780817639051_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 160,90
Convertire valuta

Aggiungere al carrello

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

4.

Giuseppe Castagna
Editore: Birkhäuser (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 15
Print on Demand
Da
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 1997. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria LP9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 164,77
Convertire valuta

Aggiungere al carrello

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

5.

Giuseppe Castagna
Editore: Birkhauser Boston Inc (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Birkhauser Boston Inc, 1997. 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-9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 160,74
Convertire valuta

Aggiungere al carrello

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

6.

Giuseppe Castagna
Editore: Birkhäuser (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 1997. Hardcover. Condizione libro: New. 1996. Codice libro della libreria DADAX0817639055

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 174,45
Convertire valuta

Aggiungere al carrello

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

7.

GIUSEPPE CASTAGNA
Editore: BirkhÇÏuser (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 10
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro BirkhÇÏuser, 1997. Hardback. Condizione libro: NEW. 9780817639051 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0285551

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 170,33
Convertire valuta

Aggiungere al carrello

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

8.

Giuseppe Castagna
Editore: BIRKHAUSER BOSTON INC, United States (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro BIRKHAUSER BOSTON INC, United States, 1997. Hardback. Condizione libro: New. 1997 ed.. Language: English . Brand New Book ***** Print on Demand *****.by Luea Cardelli Ever since Strachey s work in the 1960 s, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan- guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over- loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier.Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single- dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism. Codice libro della libreria APC9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 196,81
Convertire valuta

Aggiungere al carrello

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

9.

Giuseppe Castagna
Editore: BIRKHAUSER BOSTON INC, United States (1997)
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro BIRKHAUSER BOSTON INC, United States, 1997. Hardback. Condizione libro: New. 1997 ed.. Language: English . Brand New Book ***** Print on Demand *****. by Luea Cardelli Ever since Strachey s work in the 1960 s, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan- guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over- loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier.Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single- dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism. Codice libro della libreria APC9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 197,45
Convertire valuta

Aggiungere al carrello

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

10.

Giuseppe Castagna
ISBN 10: 0817639055 ISBN 13: 9780817639051
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780817639051

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 223,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro