×
Gary T.Leavens。;唐·皮戈齐

用子类型扩展的类型同态关系。 （英语） Zbl 1518.68056号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 144-167 (1992).
摘要：异质代数上的类型同态关系被广义化，以允许不同类型的载体集中的元素之间的关系。这种关系对于具有子类型的不完整层次规范的模型理论是必要的。类型化逻辑关系也同样得到了推广。这些工具有助于为抽象数据类型中的子类型提供一个简单的模型理论解释，正如使用带有子类型的简单类型lambda-calculus术语所观察到的那样。
关于整个系列，请参见[Zbl 1517.68006号].

引用于2文件

MSC公司：

68纳米30 软件工程的数学方面（规范、验证、度量、需求等）
03B40型 组合逻辑和lambda演算
第68季度55 计算理论中的语义学
68问题65 抽象数据类型；代数规范

软件：

艾菲尔
PDF格式BibTeX公司 XML格式引用
\textit{G.T.Leavens}和\textit{D.Pigozzi}，莱克特。注释计算。科学。598144-167（1992年；Zbl 1518.68056）
全文： DOI程序 链接

参考文献：

[1] 皮埃尔美国。并行面向对象语言中的继承和子类型。在Jean Bezivin等人的编辑中，ECOOP’87，欧洲面向对象编程会议,法国巴黎，第234-242页，纽约，1987年6月。斯普林格·弗拉格。计算机科学讲义，第276卷。
[2] 皮埃尔美国。面向对象编程语言中子类型的行为方法。技术报告443，飞利浦研究实验室，荷兰飞利浦Bedrijven B.V.，1989年4月。从1989年1月版本修订·Zbl 0681.68010号
[3] V.Breazu-Tannen、T.Coquand、C.A.Gunter和A.Scedrov。继承与显性胁迫（初步报告）。在第四届计算机科学逻辑年会，加利福尼亚州太平洋格罗夫，第112-129页。IEEE，1989年6月。出现在中的修订版本信息与计算也出现在宾夕法尼亚大学计算机与信息科学系，逻辑与计算1，MS-CIS-89-01·兹比尔0716.68012
[4] Kim B.Bruce和Peter Wegner。子类型和继承的代数模型。编辑弗朗索瓦·潘基隆和彼得·布内曼，数据库编程语言的进展，第75-96页。Addison-Wesley，马萨诸塞州雷丁，1990年。
[5] 卢卡·卡德利。多重继承的语义学。在编辑D.B.MacQueen G.Kahn和G.Plotkin中，数据类型的语义：国际研讨会，法国索菲亚·安蒂波利斯，第173卷，共页计算机科学课堂讲稿，第51-66页。1984年6月，纽约，斯普林格·弗拉格。本文的修订版本见信息与计算，第76卷，第2/3号，第138-164页，1988年2月/3月。
[6] H.弗里德曼。职能部门之间的平等。编辑R.Parikh，1972-1973年在波士顿举行的逻辑学术讨论会，第453卷，共数学课堂笔记，第22-37页。Springer-Verlag，纽约，1975年·Zbl 0311.02040号
[7] Joseph A.Goguen和Jose Meseguer。有序代数解决了构造器选择、多重表示和强制问题。技术报告CSLI-87-92，语言和信息研究中心，1987年3月。1987年6月在纽约伊萨卡举行的第二届计算机科学逻辑年度研讨会上发表，第18-29页·Zbl 0796.68144号
[8] 卡尔·A·冈特。程序设计语言语义的结构和技术。技术报告，宾夕法尼亚大学计算机和信息科学系，1990年9月。
[9] 维姆·赫塞林克（Wim H.Heselink）。数据类型中不确定性的数学方法。托普拉斯，10（1）：87-1171988年1月·Zbl 0825.68330号
[10] 加里·T·莱文斯。具有子类型的面向对象程序的模块化验证。技术报告90-09，爱荷华州立大学计算机科学系，爱荷华州艾姆斯，500112990年7月。
[11] 加里·利文斯（Gary T.Leavens）。面向对象程序的模块化规范和验证。IEEE软件，8（4）：72-801991年7月。
[12] 加里·利文斯（Gary T.Leavens）和威廉·韦尔（William E.Weihl）。关于使用子类型的面向对象程序的推理（扩展抽象）。ACM SIGPLAN通知，25（10）：212-2231990年10月。OOPSLA ECOOP’90诉讼N.Meyrowitz（编辑）。
[13] 伯特兰·梅耶（Bertrand Meyer）。面向对象的软件构造普伦蒂斯·霍尔，纽约，1988年。
[14] 托比亚斯·尼普科。非确定性数据类型：模型和实现。信息学报，22（16）：629-6611986年3月·Zbl 0564.68013号 ·doi:10.1007/BF00263649
[15] 约翰·雷诺兹（John C.Reynolds）。使用范畴理论设计隐式转换和泛型算子。编辑尼尔·D·琼斯，语义导向编译器生成，研讨会论文集,丹麦奥胡斯，第94卷，共页计算机科学课堂讲稿，第211-258页。斯普林格·弗拉格，1980年1月。
[16] R.Statman公司。逻辑关系与类型λ-演算。信息和控制，65（2/3）：85-971985年5月/6月·Zbl 0594.03006号
[17] 马丁·威辛（Martin Wirsing）、彼得·佩珀（Peter Pepper）、赫尔穆特·帕奇（Helmut Partsch）、沃尔特·多什（Walter Dosch）和曼弗雷德·布罗伊（Manfred Broy）。关于抽象数据类型的层次结构。信息学报，20（1）：1-331983年10月·Zbl 0513.68015号 ·doi:10.1007/BF00264293
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。