Ebook: Object-Oriented Programming A Unified Foundation
Author: Giuseppe Castagna (auth.)
- Tags: Computer Science general
- Series: Progress in Theoretical Computer Science
- Year: 1996
- Publisher: Birkhäuser Basel
- Edition: 1
- Language: English
- pdf
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.
Content:
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Background and notation....Pages 3-33
A quick overview....Pages 35-76
Front Matter....Pages 77-77
Object-oriented programming....Pages 79-111
The ?&-calculus....Pages 113-151
Covariance and contravariance: conflict without a cause....Pages 153-166
Strong Normalization....Pages 167-176
Three variations on the theme....Pages 177-191
Interpretation of object-oriented languages....Pages 193-220
Imperative features and other widgets....Pages 221-233
Semantics....Pages 235-258
Front Matter....Pages 259-259
Introduction to part III....Pages 261-273
Second order overloading....Pages 275-311
Second order overloading and object-oriented programming....Pages 313-322
Conclusion....Pages 323-327
Back Matter....Pages 329-366
Content:
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Background and notation....Pages 3-33
A quick overview....Pages 35-76
Front Matter....Pages 77-77
Object-oriented programming....Pages 79-111
The ?&-calculus....Pages 113-151
Covariance and contravariance: conflict without a cause....Pages 153-166
Strong Normalization....Pages 167-176
Three variations on the theme....Pages 177-191
Interpretation of object-oriented languages....Pages 193-220
Imperative features and other widgets....Pages 221-233
Semantics....Pages 235-258
Front Matter....Pages 259-259
Introduction to part III....Pages 261-273
Second order overloading....Pages 275-311
Second order overloading and object-oriented programming....Pages 313-322
Conclusion....Pages 323-327
Back Matter....Pages 329-366
....