P.W.奥赫恩。 干扰的句法控制模型。 (英语) Zbl 0802.68076号 数学。结构。计算。科学。 3,第4期,435-465(1993). 摘要:当一方写入另一方读取或写入的存储变量时,命令式编程语言短语会产生干扰。Reynolds描述了一种优雅的语言方法来控制干扰,其中使用类型化演算的细化来限制存储变量的共享;特别地,需要不同的标识符以从不进行干扰。本文研究了该方法的语义基础。我们描述了一个在所有对象和地图中内置(抽象)干扰信息的类别。此信息用于定义一个“张量”积,其组件要求永不干涉。使用张量定义环境,并通过适当的附加获得过程类型。这个范畴是直觉主义线性逻辑的一个模型。雷诺兹的被动类型概念,即不写入任何存储变量的短语的类型,在这个模型中,与吉拉德的“当然”形式密切相关。 引用于三文件 MSC公司: 68问题55 计算理论中的语义学 68甲15 编程语言理论 03B40型 组合逻辑和lambda演算 关键词:类型化\(\lambda\)-演算;张量积;语义范畴;命令式编程语言;干扰;直觉线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn},数学。结构。计算。科学。3,第4号,435--465(1993;Zbl 0802.68076) 全文: DOI程序 参考文献: [1] Mac Lane,《工作数学家的类别》(1971)·doi:10.1007/978-1-4612-9839-7 [2] O’Hearn,Springer-Verlag计算机科学讲稿530第74页–(1991)·doi:10.1007/BFb0013458 [3] Tennent,Springer-Verlag计算机科学课堂讲稿240 pp 206–(1986)·doi:10.1007/3-540-17162-2_124 [4] 内政部:10.1016/0304-3975(87)90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975(87)90045-4 [5] 内政部:10.1016/0304-3975(82)90123-2·Zbl 0553.68004号 ·doi:10.1016/0304-3975(82)90123-2 [6] Dahl,结构化编程(1972) [7] 内政部:10.1007/BF02011875·Zbl 0418.03010号 ·doi:10.1007/BF0211175 [8] Brinch Hansen,《操作系统原理》(1973) [9] 雷诺兹,计算机软件理论方面国际会议(1991年) [10] 内政部:10.1016/0890-5401(91)90055-7·Zbl 0799.68129号 ·doi:10.1016/0890-5401(91)90055-7 [11] Reynolds,Springer-Verlag计算机科学讲稿372 pp 704–(1989)·doi:10.1007/BFb0035793 [12] Reynolds,程序。第二届IEEE计算机科学逻辑研讨会(1987年) [13] 雷诺兹,《算法语言》第345页–(1981) [14] Lambek,《高阶范畴逻辑导论》(1986)·兹比尔0596.03002 [15] 内政部:10.1016/0304-3975(88)90100-4·Zbl 0648.68016号 ·doi:10.1016/0304-3975(88)90100-4 [16] occam 2参考手册(1988) [17] 霍尔特,图灵编程语言。设计与定义(1987) [18] Holmstrom,《惰性函数语言实现研讨会论文集》(1988年) [19] 霍尔,技术报告CS-74–403(1974) [20] Wadler,编程概念和方法(1990) [21] 内政部:10.1145/355620.361161·Zbl 0308.68029号 ·doi:10.1145/355620.361161 [22] Hoare,Springer-Verlag数学课堂讲稿188 pp 102–(1971)·doi:10.1007/BFb0059696 [23] Tennent,《程序设计语言的语义》(1991) [24] 内政部:10.1145/390017.808307·数字标识代码:10.1145/390017.808307 [25] 内政部:10.1145/7902.7904·数字对象标识代码:10.1145/7902.7904 [26] Oles,《语义中的代数方法》第543页–(1985) [27] Oles,编程语言语义的范畴理论方法(1982) [28] O'Hearn,伦敦数学。Soc.课堂讲稿系列(1992年) [29] 内政部:10.1016/0890-5401(90)90045-J·Zbl 0699.68110号 ·doi:10.1016/0890-5401(90)90045-J 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。