×
马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛

论语义线性的物化。 （英语） Zbl 1361.68064号

数学。结构。计算。科学。 26，第5期，829-867（2016）.
概述：线性是编程语言概念分析和开发中的一个多方面的普遍概念。我们从指称的角度研究线性，通过挑选与域之间的线性函数相对应的程序。{}我们提出了一种类似PCF的语言，对变量的使用施加线性约束，以仅对线性函数进行编程。为了获得完整的抽象结果，我们引入了一些与异常处理和并行计算相关的高阶运算符。我们研究了操作等价的几个概念，并证明它们与我们的语言一致。最后，我们给出了该语言的一个新的操作评估，为实际实现提供了基础。它利用指称线性来提供一种类似SECD的高效评估语义，从而避免使用闭包。

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲15 编程语言理论
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
\textit{M.Gaboardi}等人，《数学》。结构。计算。科学。26，第5号，829--867（2016；Zbl 1361.68064）
全文： 内政部

参考文献：

[1] 计算机科学逻辑手册第269页–（1995）
[2] 第十届国际计算机械协会程序设计语言特别兴趣小组会议记录——声明式编程原理与实践第97页（2008）
[3] DOI:10.1016/S0168-0072（01）00110-5·Zbl 1022.03023号 ·doi:10.1016/S0168-0072（01）00110-5
[4] 逻辑课堂讲稿19第32页–（2000）
[5] 关于类型理论的思考（2007）
[6] 内政部：10.1016/1385-7258（72）90034-0·doi:10.1016/1385-7258（72）90034-0
[7] 可计算性、复杂性和语言（1983）
[8] 可计算性：递归函数理论导论（1980）·Zbl 0448.03029号
[9] 内政部：10.1016/j.ic.2005.11.002·Zbl 1094.68013号 ·doi:10.1016/j.ic.2005.11.002
[10] DOI:10.1016/j.entcs.2007.02.011·兹比尔1277.68120 ·doi:10.1016/j.entcs.2007.02.011
[11] 内政部：10.1017/S0956796899003639·Zbl 1020.68500号 ·doi:10.1017/S0956796899003639
[12] 内政部：10.1006/inco.1994.1033·Zbl 0807.68064号 ·doi:10.1006/inco.1994.1033
[13] DOI:10.1016/S0304-3975（82）80002-9·Zbl 0497.68012号 ·doi:10.1016/S0304-3975（82）80002-9
[14] 内政部：10.1016/0304-3975（93）90005-E·Zbl 0779.68056号 ·doi:10.1016/0304-3975（93）90005-E
[15] 内政部：10.1007/3-540-08860-1_7·doi:10.1007/3-540-08860-1_7
[16] 内政部：10.4204/EPTCS.22.4·doi:10.4204/EPTCS.22.4
[17] 内政部：10.1016/j.tcs.2009.11.014·Zbl 1191.68154号 ·doi:10.1016/j.tcs.2009.11.014
[18] 理论计算机科学电子笔记41 pp 70–（2000）
[19] 内政部：10.1007/978-3-540-73147-4_9·兹比尔1186.03064 ·doi:10.1007/978-3-540-73147-49
[20] 内政部：10.1007/11874683_8·Zbl 1225.03014号 ·doi:10.1007/118746838
[21] DOI:10.1016/S1571-0661（05）80398-6·doi:10.1016/S1571-0661（05）80398-6
[22] 内政部：10.1006/inco.2000.2930·兹比尔1006.68028 ·doi:10.1006/inco.2000.2930
[23] 内政部：10.1007/3-540-15975-4_37·doi:10.1007/3-540-15975-4_37
[24] 内政部：10.1006/inco.2000.2917·Zbl 1006.68027号 ·doi:10.1006/inco.2000.2917
[25] 施普林格计算机科学讲义802第438页-（1993）
[26] 内政部：10.1016/0304-3975（89）90100-X·Zbl 0671.03010号 ·doi:10.1016/0304-3975（89）90100-X
[27] 程序设计语言的语义：结构和技术（1992）·Zbl 0823.68059号
[28] 证据和类型（1989）·Zbl 0671.68002号
[29] 内政部：10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[30] 内政部：10.1016/0304-3975（86）90044-7·Zbl 0623.03013号 ·doi:10.1016/0304-3975（86）90044-7
[31] 第16届计算机协会编程语言特别兴趣小组会议记录，函数编程国际会议，第372页–（2011年）
[32] 类型和编程语言高级主题（2005）·Zbl 1080.68009号
[33] 理论计算机科学5 pp 225–（1977）
[34] 内政部：10.2178/bsl/1140640943·Zbl 1104.03039号 ·doi:10.2178/bsl/1140640943
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。