Progress in Theoretical Computer Science

Object-Oriented Programming A Unified Foundation

Authors: Castagna, Giuseppe

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4612-4138-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-0-8176-3905-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-1-4612-8670-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this 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.

Table of contents (14 chapters)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4612-4138-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-0-8176-3905-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-1-4612-8670-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Object-Oriented Programming A Unified Foundation
Authors
Series Title
Progress in Theoretical Computer Science
Copyright
1997
Publisher
Birkhäuser Basel
Copyright Holder
Birkhäuser Boston
eBook ISBN
978-1-4612-4138-6
DOI
10.1007/978-1-4612-4138-6
Hardcover ISBN
978-0-8176-3905-1
Softcover ISBN
978-1-4612-8670-7
Edition Number
1
Number of Pages
XVIII, 366
Topics