Object-Oriented Programming A Unified Foundation

Name: Object-Oriented Programming A Unified Foundation
Brand: Springer, Berlin
SKU: 9781461286707
Price: 38537 HUF
Availability: InStock

Szerző: Giuseppe Castagna

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 537 Ft

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the...

Információk a könyvről

Szerző

Giuseppe Castagna

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

366

EAN

9781461286707

ISBN

1461286700

Enbook ID

06795811

Kiadó

Springer, Berlin

Súly

586

Méretek

155 x 235 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Object-Oriented Programming A Unified Foundation

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták