找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

掃一掃，訪問(wèn)微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 15124|回復(fù): 56
樓主
發(fā)表于 2025-3-21 18:53:17 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation
編輯Giuseppe Castagna
視頻videohttp://file.papertrans.cn/701/700186/700186.mp4
叢書(shū)名稱(chēng)Progress in Theoretical Computer Science
圖書(shū)封面Titlebook: Object-Oriented Programming A Unified Foundation; Giuseppe Castagna Book 1997 Birkh?user Boston 1997 Inform.algorithms.class.object.object
描述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
關(guān)鍵詞Inform; algorithms; class; object; object-oriented programming; overloading; polymorphism; programming
版次1
doihttps://doi.org/10.1007/978-1-4612-4138-6
isbn_softcover978-1-4612-8670-7
isbn_ebook978-1-4612-4138-6
copyrightBirkh?user Boston 1997
The information of publication is updating

書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation影響因子(影響力)




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation被引頻次




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation被引頻次學(xué)科排名




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation年度引用




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation年度引用學(xué)科排名




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation讀者反饋




書(shū)目名稱(chēng)Object-Oriented Programming A Unified Foundation讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶(hù)組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:10:34 | 只看該作者
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
板凳
發(fā)表于 2025-3-22 00:59:51 | 只看該作者
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.
地板
發(fā)表于 2025-3-22 06:38:00 | 只看該作者
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.
5#
發(fā)表于 2025-3-22 08:57:26 | 只看該作者
6#
發(fā)表于 2025-3-22 15:55:48 | 只看該作者
7#
發(fā)表于 2025-3-22 17:46:25 | 只看該作者
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.
8#
發(fā)表于 2025-3-23 00:01:44 | 只看該作者
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 λ&.
9#
發(fā)表于 2025-3-23 03:37:15 | 只看該作者
Three variations on the themeIn this chapter we present three different systems directly issued from λ&:
10#
發(fā)表于 2025-3-23 08:32:29 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-18 16:20
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
乌鲁木齐县| 名山县| 嘉禾县| 油尖旺区| 漳州市| 斗六市| 大田县| 娄底市| 鄂尔多斯市| 客服| 和平县| 集安市| 马公市| 团风县| 彰武县| 宝丰县| 白沙| 衡阳市| 元氏县| 凯里市| 泊头市| 南充市| 武山县| 宜都市| 德令哈市| 即墨市| 海口市| 阿克| 长兴县| 瑞丽市| 富顺县| 日喀则市| 沂南县| 武宣县| 苍山县| 岳西县| 奉节县| 普宁市| 绵竹市| 信阳市| 乌什县|