×
奥赫恩，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）
全文： 内政部

参考文献：

[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] DOI: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/BF02011875
[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）·Zbl 0596.0302号
[15] DOI: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·doi:10.1145/390017.808307
[25] 内政部：10.1145/7902.7904·数字对象标识代码：10.1145/7902.7904
[26] Oles，《语义中的代数方法》第543页–（1985）
[27] Oles，编程语言语义的范畴理论方法（1982）
[28] 奥赫恩，伦敦数学。Soc.课堂讲稿系列（1992年）
[29] 内政部：10.1016/0890-5401（90）90045-J·Zbl 0699.68110号 ·doi:10.1016/0890-5401（90）90045-J
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。