Castagna | Object-Oriented Programming A Unified Foundation | Buch | 978-1-4612-8670-7 | sack.de

Buch, Englisch, 366 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 587 g

Reihe: Progress in Theoretical Computer Science

Castagna

Object-Oriented Programming A Unified Foundation


1997
ISBN: 978-1-4612-8670-7
Verlag: Birkhäuser Boston

Buch, Englisch, 366 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 587 g

Reihe: Progress in Theoretical Computer Science

ISBN: 978-1-4612-8670-7
Verlag: Birkhäuser Boston


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.

Castagna Object-Oriented Programming A Unified Foundation jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


I Introduction.- 1 Background and notation.- 2 A quick overview.- II Simple typing.- 3 Object-oriented programming.- 4 The ?&-calculus.- 5 Covariance and contravariance: conflict without a cause.- 6 Strong Normalization.- 7 Three variations on the theme.- 8 Interpretation of object-oriented languages.- 9 Imperative features and other widgets.- 10 Semansttics.- III Second order.- 11 Introduction to part III.- 12 Second order overloading.- 13 Second order overloading and object-oriented programming.- 14 Conclusion.- IV Appendixes.- A Specification of KOOL.- A.1 Terms.- A.2 Pretypes.- A.3 Subtyping.- A.4 Auxiliary Notation.- A.5 Typing Rules.- B Formal definition of the translation.- B.1 Without mutually recursive methods.- B.2 With recursive methods.- B.3 Overloaded functions.- B.4 Correctness of the type-checking.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.