×
让·古鲍特·拉雷克

PCF的非确定性和概率扩展的完全抽象。一： 天使般的案例。 （英语） 兹比尔1304.68026

J.日志。阿尔盖布。方法计划。 84，第1期，155-184（2015）.
摘要：我们研究了Plotkin语言PCF的几个扩展和变体，包括非确定性和概率选择结构。对于每一种，我们都给出了操作语义和指称语义，并进行了比较。在每种情况下，我们都显示了可靠性和计算充分性：这两种语义在地面类型上计算相同的值。除此之外，我们在许多情况下建立了完全抽象（观测前序与指称前序一致）。在概率情况下，这需要在语言中添加所谓的统计终止测试程序。

引用于8文件

MSC公司：

68甲15 编程语言理论
第68季度55 计算理论中的语义学

关键词：

领域理论;PCF公司;完全抽象
PDF格式BibTeX公司 XML格式引用
\textit｛J.Goubault Larrecq｝，J.日志。阿尔盖布。方法计划。84，第1号，155--184（2015；Zbl 1304.68026）
全文： 内政部

参考文献：

[1] Abramsky，S。；Jagadeesan，R。；Malacaria，P.，PCF的完全抽象，Inf.Compute。，163, 409-470 (2000) ·Zbl 1006.68028号
[2] Abramsky，S。；Jung，A.，领域理论，（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《计算机科学逻辑手册》，第3卷（1994），牛津大学出版社），1-168·Zbl 0829.68111号
[3] 阿尔瓦雷兹·马尼拉（Alvarez-Manilla），M。；Jung，A。；Keimel，K.，稳定紧空间的概率幂域，Theor。计算。科学。，328, 221-244 (2004) ·Zbl 1071.68058号
[4] Berry，G.，Modèles complete adéquats et stables des lambda-calculs typés（1979），巴黎第七大学，法国
[5] Curien，P.L.，《环境机器的抽象框架》，Theor。计算。科学。，82, 389-402 (1991) ·Zbl 0727.68033号
[6] 达诺斯，V。；Harmer，R.，概率游戏语义，ACM Trans。计算。日志。，3, 359-382 (2002) ·Zbl 1365.68310号
[7] Ehrhard，T。；塔森，C。；Pagani，M.，概率相干空间对概率PCF是完全抽象的，（Jagannathan，S.；Sewell，P.，Proc.41 Ann.ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL’14）（2014）），309-320·Zbl 1284.68268号
[8] Erker，T。；Escardó，M.H。；Keimel，K.，语义域上功能空间的路-流关系，Topol。申请。，89, 61-74 (1998) ·Zbl 0922.06009
[9] Escardó，M.，在更高类型设置中的可能、必须和概率测试的半决定性，Electron。注释Theor。计算。科学。，249, 219-242 (2009) ·Zbl 1337.68068号
[10] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森·J·D。；Mislove，M。；Scott，D.S.，《连续格与域》，《数学及其应用百科全书》，第93卷（2003年），剑桥大学出版社·兹比尔1088.06001
[11] Goubault-Larrecq，J.，Continuous previsions，（Duparc，J.；Henzinger，Th.A.，第16届EACSL计算机科学逻辑年会论文集（CSL’07）。第16届EACSL计算机科学逻辑年会论文集（CSL’07），《计算机科学讲义》，第4646卷（2007），斯普林格·弗拉格：瑞士洛桑斯普林格尔·弗拉格），542-557·兹比尔1179.68074
[12] Goubault-Larrecq，J.，Prevision域和凸幂锥，（Amadio，R.，《第十一届软件科学和计算结构基础国际会议论文集》（FoSSaCS’08）。《第十一届软件科学和计算结构基础国际会议论文集》（FoSSaCS’08），《计算机科学讲义》，第4962卷（2008），斯普林格·弗拉格：匈牙利布达佩斯斯普林格尔·弗拉格），318-333·Zbl 1139.68034号
[13] Goubault-Larrecq，J.，De Groot二元性和选择模型：天使、恶魔和自然，数学。结构。计算。科学。，20, 169-237 (2010) ·Zbl 1193.06005号
[14] Goubault-Larrecq，J.，《非豪斯道夫拓扑和域理论——点集拓扑中的选定主题》，《新数学专著》，第22卷（2013年），剑桥大学出版社·Zbl 1280.54002号
[15] Goubault-Larrecq，J.，混合选择模型之间的同构定理，数学。结构。计算。科学。（2014），即将出版·Zbl 1378.68111号
[16] 哈默，R。；McCusker，G.，有限不确定性的完全抽象游戏语义，（第14届IEEE计算机科学逻辑研讨会（LICS’99）（1999），IEEE计算机社会出版社），422-430
[17] Heckmann，R.，《电力领域建设》（Potenzbereich-Konstruktionen）（1990年），萨尔兰大学，博士论文
[18] Heckmann，R.，《抽象估价：Plotkin幂域和Vietoris超空间的新表示》，Proc。第13届国际交响乐团。编程语义的数学基础（MFPS’97）。程序。第13届国际交响乐团。《编程语义的数学基础》（MFPS’97），电子版。注释Theor。计算。科学。，6 (1997) ·Zbl 0911.68133号
[19] 海兰德，J.M.E。；Ong，L.，《关于PCF的完全抽象：I、II和III》，Inf.Compute。，163, 285-408 (2000) ·兹比尔1006.68027
[20] Jones，C.，概率非确定性（1990），爱丁堡大学，技术报告ECS-LFCS-90-105
[21] 琼斯，C。；Plotkin，G.D.，评估的概率权力域，（第四届IEEE计算机科学逻辑研讨会（LICS’89）（1989年），IEEE计算机学会出版社），186-195·Zbl 0716.06003号
[22] Jung，A。；Tiuryn，J.，lambda可定义性的新特征，（Proc.Conf.Typed lambda Calculi and Applications.Proc.Conv.Typed lambda Calpuli and Applications，《计算机科学讲义》，第664卷（1993），Springer-Verlag），230-244
[23] Jung，A。；蒂克斯·R。；Edalat，A。；Jung，A。；Keimel，K。；Kwiatkowska，M.，麻烦的概率功率域，Proc。第三次计算和近似研讨会。程序。第三届电子计算与近似研讨会。注意事项。西奥。计算。科学。，13, 70-91 (1998)
[24] Katsumata，S.Y.，计算元语言的提升和逻辑谓词的语义公式，（Ong，L.，Proc.19th Intl.Workshop CSL 2005，14th Ann.Conf.of the EACSL.Proc.19st Intl.Shop CSL 2005,14 Ann.Conf.of the EACSL，Telection Notes in Computer Science，vol.3634（2005），Springer-Verlag），87-102·Zbl 1136.03307号
[25] Kirch，O.，Bereiche und Bewertungen（1993），达姆施塔特技术学院，硕士论文
[26] McIver，A。；Morgan，C.，《顺序程序中的恶魔、天使和无界概率选择》，《信息学报》。，37, 329-354 (2001) ·Zbl 0971.68027号
[27] Milner，R.，类型化计算的完全抽象模型，Theor。计算。科学。，4, 1-22 (1977) ·Zbl 0386.03006号
[28] Mislove，M.，拓扑，领域理论和理论计算机科学，白杨。申请。，89, 3-59 (1998) ·Zbl 0923.54027号
[29] Mislove，M.，《不确定性和概率选择：遵守法律》，（Proc.11th Conf.并发理论（CONCUR'00）。程序。第11届Conf.并发理论（CONCUR'00），《计算机科学讲义》，第1877卷（2000年），斯普林格·弗拉格出版社，350-364·Zbl 0999.68147号
[30] Mislove，M。；Ouaknine，J。；Worrell，J.，《概率和不确定性公理》，Proc。第十届并行表达国际研讨会（EXPRESS’03）。程序。第十届并行表达性国际研讨会（EXPRESS’03），电子。注释Theor。计算。科学。，91, 7-28 (2003) ·Zbl 1271.68192号
[31] Moggi，E.，《计算和单数概念》，Inf.Compute。，93, 55-92 (1991) ·Zbl 0723.68073号
[32] 摩根，C。；McIver，A。；Seidel，K.，概率程序转换器，ACM Trans。程序。语言系统。，18, 325-353 (1996)
[33] O'Hearn，P.W。；美国雷迪。；梅因，M。；Brookes，S.，《物体、干涉和Yoneda嵌入》，Theor。计算。科学。。西奥。计算。科学。，第11届国际编程语义学数学基础会议论文集。西奥。计算。科学。。西奥。计算。科学。，第11届国际编程语义学数学基础大会论文集，电子版。注释Theor。计算。科学。，1，1-2487-514（1995），期刊版本：对象、干扰和Yoneda嵌入·Zbl 0911.68121号
[34] O'Hearn，P.W。；Riecke，J.G.，Kripke逻辑关系和PCF，Inf.Comput。，120, 107-116 (1995) ·Zbl 0912.03008号
[35] O'Hearn，P.W。；Tennent，R.D.，局部变量的语义，（Fourman，M.P.；Johnstone，P.T.；Pitts，A.M.，《类别在计算机科学中的应用：LMS研讨会论文集》，LMS讲座笔记系列，第177卷（1992），剑桥大学出版社：英国达勒姆剑桥大学出版社），217-238·Zbl 0798.68093号
[36] O'Hearn，P.W。；Tennent，R.D.，《参数和局部变量》，J.ACM，42，658-709（1995）·Zbl 0885.68039号
[37] 皮特斯，A.M。；Stark，I.D.B.，《局部状态函数的运算推理》（Gordon，A.D.；Pitts，A.M.，《语义学中的高阶运算技术》，牛顿研究所出版（1998），剑桥大学出版社），227-273·Zbl 0967.68035号
[38] Plotkin，G.D.，LCF被认为是一种编程语言，Theor。计算。科学。，5, 223-255 (1977) ·Zbl 0369.68006号
[39] 美国Reddy，Global州认为没有必要：无干扰命令式程序的基于对象的语义，LISP Symb。计算。，9 (1996)
[40] Riecke，J.G。；Sandholm，A.，《按调用值排序的关系帐户》，Inf.Compute。，179, 296-331 (2002) ·Zbl 1096.68019号
[41] Schalk，A.，广义幂结构代数（1993），达姆施塔特科技大学，博士论文·Zbl 0900.68275号
[42] Streicher，T.，函数编程的领域理论基础（2006），世界科学·Zbl 1111.68020号
[43] Tix，R.，Stetige Bewertungen auf topologischen Räumen（1995），TH Darmstadt，Diplorabeit
[44] Tix，R.，《连续D-锥：凸性和幂域构造》（1999），达姆施塔特科技大学，博士论文·Zbl 0998.68533号
[45] 蒂克斯·R。；Keimel，K。；Plotkin，G.，概率论和非确定性结合的语义域，电子。注释Theor。计算。科学。，129, 1-104 (2005) ·兹比尔1271.68004
[46] Walley，P.，《概率不精确的统计推理》（1991），查普曼和霍尔：查普曼与霍尔伦敦·Zbl 0732.62004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。