×
阿卜杜勒·加瓦德（Abdel Gawad，Moez A.）。

名义上类型的面向对象编程的域理论模型。 （英语） Zbl 1337.68059号

刘英明（编）等，第六届领域理论及其应用国际研讨会论文集，长沙，中国，2013年10月25-29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记301，3-19，仅电子版（2014）。
概要：大多数当代主流面向对象（OO）软件都是使用名义类型的OO编程语言编写的。为分析OO类型系统而开发的现有OOP领域理论模型忽略了这些主流OO语言的关键特性，例如名词性。本文总结了NOOP作为OOP领域理论模型的构建，该模型包含了在名义类型的主流OO软件中发现的标称信息。在静态类型的OO编程语言中包含标称类型信息并断言类型继承是一个固有的标称概念，从而可以很容易地证明继承和子类型在这些语言中是完全确定的。这个结论完全符合使用这些语言的OO开发人员的直觉，并与“继承不是子类型”的信念相反，这种信念来自于对OO类型系统的非标称结构模型的假设。因此，NOOP为分析和改进名义类型的主流OO编程语言提供了更坚实的语义基础。
关于整个系列，请参见[Zbl 1310.68016号].

引用于2文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学

关键词：

面向对象程序设计;指称语义学;主格类型系统;结构类型系统;NOOP（无操作）;类型名称;继承;子类型;OOP（面向对象）;C类#;Java语言

软件：

轻量级Java;斯卡拉;低成本融资
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AbdelGawad}，电子。注释Theor。计算。科学。301、3-19（2014年；Zbl 1337.68059）
全文： 内政部
OA许可证

参考文献：

[1] （2007），C#语言规范，3.0版
[3] 马丁·阿巴迪；Cardelli，Luca，对象类型的语义，（Proc.LICS94（1994））·Zbl 0942.03523号
[4] 马丁·阿巴迪；卢卡·卡德利（Luca Cardelli），《对象理论》（A Theory of Objects）（1996），斯普林格·弗拉格（Springer-Verlag）·Zbl 0876.68014号
[5] AbdelGawad，Moez A.，《NOOP：面向对象编程的数学模型》（2012），莱斯大学，博士论文·Zbl 1337.68059号
[7] AbdelGawad，Moez A.，《面向对象编程中名词类型与结构类型的概述》（2013），[cs.PL]
[8] Bruce，Kim B.，《面向对象语言的基础：类型和语义》（2002），麻省理工学院出版社
[9] Cardelli，Luca，《多重继承的语义》，Proc。国际米兰。症状。关于数据类型的语义，第173卷，5167（1984），Springer-Verlag·Zbl 0543.68011号
[10] Cardelli，Luca，《多重继承的语义》，Inform。和计算。，76, 138164 (1988) ·Zbl 0651.68017号
[11] 罗伯特·卡特赖特；AbdelGawad，Moez A.，《继承是子类型》（扩展摘要），（第25届北欧规划理论研讨会（NWPT）（2013）），爱沙尼亚塔林
[13] 威廉·库克（William R.Cook），《继承的指称语义》（1989），布朗大学，博士论文
[14] 威廉·库克（William R.Cook）。；沃尔特·希尔（Walter L.Hill）。；Peter S.Canning，《继承不是子类型》（POPL90 Proceedings，1990）·Zbl 0837.68061号
[15] 威廉·库克（William R.Cook）。；Palsberg，Jens，继承及其正确性的指称语义，（ACM面向对象编程、系统、语言和应用研讨会（OOPSLA）（1989）），433444
[16] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森·J·D。；Mislove，M.W。；Scott，D.S.，《连续格与域》，《数学及其应用百科全书》。，第93卷（2003），剑桥大学出版社·Zbl 1088.06001号
[17] 迈克尔·戈登（Michael J.Gordon）。；Arthur J.米尔纳。；沃兹沃思，克里斯托弗·P，《爱丁堡LCF：机械化计算逻辑》（1978），斯普林格·弗拉格出版社·Zbl 0421.68039号
[18] 高斯林，詹姆斯；乔伊，比尔；盖·斯蒂尔；Bracha，Gilad，《Java语言规范》（2005），Addison-Wesley·Zbl 0865.68001号
[20] Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；Wadler，Philip，Featherweight Java：Java和GJ的最小核心演算，ACM编程语言和系统事务，23，3，396450（2001年5月）
[21] John McCarthy，《计算数学理论基础》，《计算机程序设计与形式系统》，3370（1963）·Zbl 0203.16402号
[22] 约翰·麦卡锡（John McCarthy），《走向计算的数学科学》，《科学》（1996）
[23] 米尔纳，R。；托夫特，M。；哈珀，R。；MacQueen，D.，《标准ML的定义》（1997年），（修订版）。麻省理工学院出版社
[24] Odersky，Martin，《scala语言规范》（2009），第2.7版·Zbl 1248.68158号
[25] 戈登·普洛金（Gordon D.Plotkin），《领域》，高级领域理论讲稿（1983年）
[26] Reuse，Bernhard，类的模块化语义和逻辑，456469（2003），Springer-Verlag，第2803卷·Zbl 1116.03319号
[28] 罗伊斯，伯恩哈德；Thomas Streicher，《对象的语义和逻辑》（第17届计算机科学逻辑交响曲会议录，2002年），113122
[29] 达纳；Scott，S.，作为格的数据类型，SIAM计算杂志，5，3，522587（1976）·Zbl 0337.02018号
[30] 达纳；Scott，S.，指称语义学领域（1983），卡内基梅隆大学计算机科学系，技术报告·Zbl 0495.68025号
[31] 安东尼·西蒙斯（Anthony J.H.Simons），《分类理论，第1部分：类型兼容性的观点》，《对象技术杂志》，第1期，第15561页（2002年5月至6月）
[32] 约瑟夫·斯托（Joseph E.Stoy），《指称语义学：编程语言理论的斯科特·斯特拉奇方法》（1977），麻省理工学院出版社·Zbl 0503.68059号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。