×
约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默（Jan Schwinghammer）

带有参考单元格和期货的并发lambda演算的观察语义。 （英语） Zbl 1316.68034号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，313-337（2007）。
摘要：我们提出了（lambda（mathrm{fut}））的观察语义，这是一种带有参考细胞和未来的并发（lambda\）演算。演算（lambda（mathrm{fut}）对并发高阶程序设计语言Alice ML的操作语义进行了建模。我们的结果是一个强大的等价概念，即区分明显不同进程的最粗的非平凡同余。它证明了一组最大的正确程序转换，并且它包括了所有（lambda（mathrm{fut}）的确定性约简规则，特别是call-by-value（beta\）约简。
关于整个系列，请参见[Zbl 1273.68031号].

引用于8文件

MSC公司：

68甲15 编程语言理论
68甲18 函数编程和lambda演算
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

并发编程语言;λ演算;语义学

软件：

欧兹;乔坎尔
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，《电子》。注释Theor。计算。科学。173、313--337（2007；Zbl 1316.68034）
全文： 内政部

参考文献：

[1] 贝克，H。；Hewitt，C.，进程的增量垃圾收集，ACM Sigplan通知，12，55-59（1977）
[2] 卡拉约尔，A。；Hirschkoff，D。；桑吉奥吉（Sangiorgi，D.），《论麦卡锡的琥珀在画法中的表现》（the representation of McCarthy’s amb in the pi-calculus，Theoret）。计算。科学。，330, 439-473 (2005) ·Zbl 1078.68106号
[3] Chailloux，E。；Manoury，P。；Pagano，B.，《使用Objective Caml开发应用程序》（2000），O'Reilly，在线阅读
[4] Conchon，S.和F.L.Fessant，Jocaml:Objective Caml的移动代理，在：第一届国际代理系统与应用研讨会（ASA’99）/第三届国际移动代理研讨会（MA’99）; Conchon，S.和F.L.Fessant，Jocaml：面向Objective-Caml的移动代理，in：第一届代理系统和应用国际研讨会（ASA'99）/第三届移动代理国际研讨会（MA'99）
[5] 费雷拉，W。；轩尼诗，M。；Jeffrey，A.，《核心CML弱互模拟理论》，J.Funct。编程，8447-491（1998）·Zbl 0916.68093号
[6] 弗拉纳根，C。；Felleisen，M.，《未来的语义和应用》，J.Funct。编程，9，1-31（1999）·Zbl 0926.68075号
[7] 杰弗里，A。；Rathke，J.，具有本地名称的并发ML片段的互模拟理论，Theoret。计算。科学。，323, 1-48 (2004) ·Zbl 1105.68354号
[8] 库兹纳，A。；Schmidt-Schauß，M.，《一个不确定的按需调用的lambda演算》（1998（1998）国际函数编程会议），324-335·Zbl 1369.68106号
[9] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号
[10] 米尔纳，R。；托夫特，M。；哈珀，R。；MacQueen，D.B.，《标准ML编程语言（修订版）》（1997），麻省理工学院出版社
[11] Moran，A.K.，“Call-by name，Call-by need，and McCarthy’s Amb”，瑞典哥德堡查尔默斯科技大学和哥德堡大学博士论文（1998）；Moran，A.K.，“Call-by name，Call-by need，and McCarthy’s Amb”，瑞典哥德堡查尔默斯科技大学和哥德堡大学博士论文（1998）
[12] Niehren，J。；施温哈默，J。；Smolka，G.，《与期货并行的lambda演算》，Theoret。计算。科学。，364, 338-356 (2006) ·兹比尔1110.68023
[13] Pitts，A.M.，《操作语义和程序等价性》（O'Donnell，J.T.，《应用语义》，应用语义，LNCS，2395（2002）），378-412·Zbl 1065.68067号
[14] Plotkin，G.D.，《功率域结构》，SIAM J.Compute。，5245-487（1976年）·Zbl 0355.68015号
[15] A.罗斯伯格。，缺失的环节：ML的动态组件第十一届ACM SIGPLAN函数编程国际会议记录; A.罗斯伯格。，缺失的环节：ML的动态组件第十一届ACM SIGPLAN函数编程国际会议记录
[16] Rossberg，A。；Botlan，D.L。；塔克，G。；Brunklaus，T。；Smolka，G.，Alice Through the Looking Glass，（函数编程趋势，5（2006），Intellect Books:Intellect-Books Bristol，UK，Munich，Germany），79-96
[17] Sabel，D.和M.Schmidt-Schau，具有局部自底避免选择的按需lambda-calculus：上下文引理和变换的正确性; Sabel，D.和M.Schmidt-Schau，具有局部自底避免选择的按需lambda-calculus：上下文引理和变换的正确性·Zbl 1153.68011号
[18] Sangiorgi，D.，并发场景中的惰性lambda演算，Inform。和计算。，111, 120-153 (1994) ·Zbl 0804.03008号
[19] Sangiorgi，D。；Walker，D.，《π演算：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[20] Smolka，G.，《Oz编程模型》，（van Leeuwen，J.，《今日计算机科学》，LNCS，1000（1995），Springer），324-343
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。