×
维维亚娜·博诺；米歇尔·布格列西

匹配对象的lambda演算。 （英语） Zbl 0915.68102号

西奥。计算。科学。 212，编号1-2，101-140（1999）.
摘要：已经提出了递归对象类型之间的关系，称为匹配[K.B.布鲁斯，J.Funct。程序。4，第2期，127-206（1994年；Zbl 0817.68037号)]在基于类的语言中提供适当的继承类型。本文研究了这种关系在Lambda对象演算类型系统设计中的作用[（*）K.Fisher、F.Honsell和J.C.米切尔，北方计算机杂志。1，编号1，3-37（1994年；Zbl 0886.03010号)]. 为这种演算定义了一种新的类型系统，该系统使用类型变量的隐式匹配边界量化，而不是行方案的隐式量化（如（*）所示）来捕获方法的MyType多态类型。定义了非类型演算的操作语义，证明了新系统的类型稳健性是主题约简性质的必然结果。还对这两个系统的相对表达能力进行了形式化分析，这解释了如何从匹配的角度理解（*）的行方案，并表明新系统在封闭对象类型判断的推导方面与原系统一样强大。

MSC公司：

65年第68季度 形式语言和自动机

关键词：

物体结石；对象扩展名；MyType专门化；匹配

引文：

Zbl 0817.68037号；Zbl 0886.03010号

软件：

PolyTOIL公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}和\textit{M.Bugliesi}，Theor。计算。科学。212，编号1--2，101-140（1999；Zbl 0915.68102）
全文： 内政部

参考文献：

[1] M.阿巴迪。；Cardelli，L.，《命令式对象演算》（Mosses，P.D.；Nielsen，M.；Schwartzbach，M.I.，Proc.TAPSOFT’95）。程序。TAPSOFT’95，《计算机科学讲义》，第915卷（1995），施普林格：施普林格柏林），471-485·Zbl 1496.68098号
[2] M.阿巴迪。；Cardelli，L.，《关于分型和匹配》（Proc.ECOOP’95）。程序。ECOOP’95，计算机科学讲义，第952卷（1995），施普林格：施普林格柏林），145-167
[3] M.阿巴迪。；Cardelli，L.，《对象理论》（计算机科学专著（1996），Springer:Springer Berlin）·Zbl 0876.68014号
[4] 波诺，V。；Bugliesi，M.，对象lambda演算的匹配约束，（De Groote，P.；Hindley，R.J.，Proc.TLCA’97）。程序。TLCA’97，《计算机科学讲义》，第1210卷（1997年），施普林格：施普林格柏林），46-62·Zbl 1063.68549号
[5] 波诺，V。；Bugliesi，M。；Dezani，M。；Liquori，L.，《不完整对象的子类型约束》，（Bidoit，M.；Dauchet，M.，Proc.CAAP’97）。程序。CAAP’97，计算机科学讲义，第1214卷（1997），施普林格：施普林格柏林），465-477
[6] 波诺，V。；Fisher，K.，《带对象扩展的命令式一阶微积分》（Proc.ECOOP’98）。程序。ECOOP’98，《计算机科学讲义》（1998），《施普林格：施普林格柏林》，即将出版。
[7] 波诺，V。；Liquori，L.，《Fisher-Honsell-Mitchell-Lambda物体微积分的一个子类型》（Proc.CSL’94）。程序。CSL’94，计算机科学讲义，第933卷（1995），施普林格：施普林格柏林），16-30·Zbl 1044.03507号
[8] Bruce，K.B.，一种典型的面向对象编程语言：设计、静态类型和语义，J.Functional programming，1，41227-206（1994）·兹伯利0817.68037
[9] 布鲁斯，K.B。；彼得森，L。；Fiech，A.，对于面向对象语言来说，子类型不是一个很好的“匹配”（Proc.ECOOP’97）。程序。ECOOP’97，计算机科学讲义，第1241卷（1997），施普林格：施普林格柏林），104-127
[10] 布鲁斯，K.B。；Shuett，A。；van Gent，R.，《PolyTOIL:一种类型安全的多态面向对象语言》（Proc.ECOOP’95）。程序。ECOOP’95，计算机科学讲义，第952卷（1995），施普林格：施普林格柏林），27-51
[11] Cardelli，L.，《多重继承的语义》，Inform。计算。，76, 138-164 (1988) ·Zbl 0651.68017号
[12] Cardelli，L。；Wegner，P.，《关于理解类型、数据抽象和多态性》，计算机。调查，17，4，471-522（1985）
[13] 库克·W·。；西希尔。；坎宁，P.，《继承不是子类型》，（《ACM交响曲汇编》，90年，ACM出版社，90年版，纽约ACM出版社（1990）），125-135
[14] 库克，W.R.，《继承的指称语义》（1989年布朗大学博士论文）
[15] Fisher，K。；Honsell，F。；Mitchell，J.C.，《对象和方法专门化的lambda演算》，北欧计算机杂志。，1, 1, 3-37 (1994) ·Zbl 0886.03010号
[16] Fisher，K。；Mitchell，J.C.，《带子类型的基于委托的对象演算》（Proc.FCT’95）。程序。FCT’95，计算机科学讲义，第965卷（1995），施普林格：施普林格柏林），42-61·Zbl 1507.68086号
[17] Wand，M.，《简单对象的完整类型推断》，（IEEE Symp.LICS'87年出版）。程序。IEEE交响乐。LICS’87，《银泉》（1987），37-44
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。