Items related to Object-Oriented Programming A Unified Foundation (Progress...
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
- PublisherBirkhäuser
- Publication date1997
- ISBN 10 0817639055
- ISBN 13 9780817639051
- BindingHardcover
- LanguageEnglish
- Number of pages384
Other Popular Editions of the Same Title
Search results for Object-Oriented Programming A Unified Foundation (Progress...
Stock Image
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. No dust jacket. Very Good hardcover with light shelfwear - NICE! Standard-sized. Seller Inventory # mon0000169872
Quantity: 1 available
Stock Image
Object-Oriented Programming: A Unified Foundation
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-570-064
Quantity: 1 available
Stock Image
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0817639055
Quantity: 1 available
Stock Image
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190237416
Quantity: Over 20 available
Seller Image
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
Seller: Bücherbazaar, Eggenstein, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Auflage: 1997. 384 Seiten Mit altersbedingten Lager- und Gebrauchsspuren. E-K217 Sprache: Englisch Gewicht in Gramm: 675 15,6 x 2,2 x 23,4 cm, Gebundene Ausgabe. Seller Inventory # 124030
Quantity: 1 available
Seller Image
Object-Oriented Programming A Unified Foundation
Published by
Birkhäuser Boston Jan 1997, 1997
ISBN 10: 0817639055
ISBN 13: 9780817639051
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 388 pp. Englisch. Seller Inventory # 9780817639051
Quantity: 2 available
Stock Image
Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780817639051_new
Quantity: Over 20 available
Seller Image
Object-Oriented Programming A Unified Foundation
Published by
Birkhäuser Boston, Birkhäuser Boston, 1997
ISBN 10: 0817639055
ISBN 13: 9780817639051
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780817639051
Quantity: 1 available
Stock Image
Object-Oriented Programming A Unified Foundation
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 733. Seller Inventory # C9780817639051
Quantity: Over 20 available
Seller Image
Object-Oriented Programming A Unified Foundation
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. 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, . Seller Inventory # 5975554
Quantity: Over 20 available