| 书目名称 | Object-Oriented Programming A Unified Foundation | | 编辑 | Giuseppe Castagna | | 视频video | | | 丛书名称 | 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 | | 出版日期 | Book 1997 | | 关键词 | Inform; algorithms; class; object; object-oriented programming; overloading; polymorphism; programming | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4612-4138-6 | | isbn_softcover | 978-1-4612-8670-7 | | isbn_ebook | 978-1-4612-4138-6 | | copyright | Birkhäuser Boston 1997 |
The information of publication is updating
|
|
发表于 2025-3-21 18:53:17
