约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默(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] Carayol,A。;Hirschkoff,D。;桑吉奥吉(Sangiorgi,D.),《论麦卡锡的琥珀在画法中的表现》(the representation of McCarthy’s amb in the pi-calculus),理论。计算。科学。,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的移动代理,in:第一届代理系统和应用国际研讨会(ASA'99)/第三届移动代理国际研讨会(MA'99); Conchon,S.和F.L.Fessant,Jocaml:Objective Caml的移动代理,在:第一届国际代理系统与应用研讨会(ASA’99)/第三届国际移动代理研讨会(MA’99) [5] 费雷拉,W。;轩尼诗,M。;Jeffrey,A.,核心慢性粒细胞白血病弱共刺激理论,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) ·Zbl 1110.68023号 [13] Pitts,A.M.,《操作语义和程序等价性》(O'Donnell,J.T.,《应用语义》,应用语义,LNCS,2395(2002)),378-412·兹比尔1065.68067 [14] Plotkin,G.D.,《功率域结构》,SIAM J.Compute。,5, 452-487 (1976) ·Zbl 0355.68015号 [15] A.罗斯伯格。,缺失的环节:ML的动态组件第十一届ACM SIGPLAN函数编程国际会议记录; A.罗斯伯格。,缺失的环节:ML的动态组件第十一届ACM SIGPLAN函数编程国际会议记录 [16] Rossberg,A。;博特兰,D.L。;塔克,G。;布伦克劳斯,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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。