Titlebook: Object-Oriented Programming A Unified Foundation; Giuseppe Castagna Book 1997 Birkh?user Boston 1997 Inform.algorithms.class.object.object

TOUT

書目名稱Object-Oriented Programming A Unified Foundation影響因子(影響力)




書目名稱Object-Oriented Programming A Unified Foundation影響因子(影響力)學科排名




書目名稱Object-Oriented Programming A Unified Foundation網(wǎng)絡(luò)公開度




書目名稱Object-Oriented Programming A Unified Foundation網(wǎng)絡(luò)公開度學科排名




書目名稱Object-Oriented Programming A Unified Foundation被引頻次




書目名稱Object-Oriented Programming A Unified Foundation被引頻次學科排名




書目名稱Object-Oriented Programming A Unified Foundation年度引用




書目名稱Object-Oriented Programming A Unified Foundation年度引用學科排名




書目名稱Object-Oriented Programming A Unified Foundation讀者反饋




書目名稱Object-Oriented Programming A Unified Foundation讀者反饋學科排名

不近人情

arametric 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 parame

Visual-Field

Conclusionto define new calculi in which objects are primitive rather than encoded. In any case, the “objects as records” analogy is at the base of all these works, as well as of nearly the totality of the works in the foundation of object-oriented programming.

氣候

Imperative features and other widgetser 3, these features have been omitted from KOOL since they are not necessary for the study of the foundation of object-oriented programming. However, because of their undeniable practical interest, we show in this chapter how they can be included in KOOL and how they can be intuitively interpreted in our model.

slipped-disk

充滿人

Tidious

Object-oriented programmingIn this chapter we briefly discuss object-oriented concepts by gradually introducing a toy object-oriented language which we use in the rest of the book to formally state the relations between the theoretic study and object-oriented programming.

誹謗

The λ&-calculusIn the previous chapter we have tried to convey to the reader the idea that the basic mechanisms of message-passing are overloading and late binding. In this chapter we define an extension of the simply-typed lambda calculus to model these mechanisms. We call this calculus λ&.

考古學

Three variations on the themeIn this chapter we present three different systems directly issued from λ&:

不自然