卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 记录操作。 （英语） Zbl 0727.68020号 数学。结构。计算。科学。 1，第1期，第3-48页（1991年）. 定义了关于记录和记录类型的操作和关系的集合。在此基础上建立了二阶型系统，并给出了合理的解释。由于子类型的存在，记录类型的处理方式比简单的产品类型更通用。此外，每个记录类型都提供了两种信息：必须存在的字段集合和必须不存在的另一个字段集合。这种方法在键入记录时需要更加小心——其中也显示了一些细微之处。本文的核心是描述一个用于键入记录表达式的二阶系统。给出了该系统（或其限制部件）的三个模型。当从记录类型中删除某些字段并重新添加时，“最自然”的集合论模型无法满足理论。因此，又构造了两个模型，其中一个满足“删除-添加”规则，另一个满足另一个附加规则（“扩展等式规则”）。证明了所有这些调制解调器及其相应的子理论的可靠性。该系统似乎可以作为操作记录结构的典型程序的基础理论基础，特别是在OOP中。审核人：M.K（布尔诺） 引用于1审查引用于19文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 03B70号 计算机科学中的逻辑 68甲15 编程语言理论 第68季度55 计算理论中的语义学 关键词：亚型；二阶型系统；记录结构 软件：艾菲尔 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell}，数学。结构。计算。科学。1号、1号、3号——48（1991年；Zbl 0727.68020） 全文： 内政部 参考文献： [1] 内政部：10.1016/0890-5401（88）90007-7·Zbl 0651.68017号 ·doi:10.1016/0890-5401（88）90007-7 [2] 内政部：10.1016/0890-5401（90）90044-I·Zbl 0714.68052号 ·doi:10.1016/0890-5401（90）90044-I [3] Stroustrup，编程语言（1986） [4] Reynolds，编程学术讨论会。施普林格计算机科学讲稿19页408–（1974）·doi:10.1007/3-540-06859-7_148 [5] 米切尔，《理论计算机科学手册》第365页–（1990） [6] 内政部：10.1145/6041.6042·数字对象标识代码：10.1145/6041.6042 [7] Meyer，面向对象软件构造（1988）·Zbl 0719.68012号 [8] 朗戈，数学。结构。计算。第1组（1988年） [9] DOI:10.1016/S0049-237X（08）70843-7·doi:10.1016/S0049-237X（08）70843-7 [10] 内政部：10.1145/365813.365819·Zbl 0139.32903号 ·数字对象标识代码：10.1145/365813.365819 [11] 内政部：10.1016/0022-0000（78）90014-4·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。