×
Joost-Pieter卡托恩;弗里德里希·格雷茨;尼尔斯·詹森;本杰明·卢西恩·卡明斯基;费德里科·奥利梅多

了解概率程序。 （英语） Zbl 1444.68045号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 15-32 (2015).
摘要：我们提出了概率规划的两种观点及其关系。为基本概率保护命令语言提供了操作解释和最弱的前提语义。我们的研究处理诸如采样、条件反射、环路发散和非确定性等重要特征。
关于整个系列，请参见[Zbl 1320.68024号].

引用于9文件

MSC公司：

第68页第19页 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学

软件：

菲加罗;pGCL公司
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。9360，15--32（2015；Zbl 1444.68045）
全文： 内政部 链接

参考文献：

[1] Barthe，G.、Kopf，B.、Olmedo，F.、Béguelin，S.Z.：差异隐私的概率关系推理。ACM事务处理。程序。语言系统。35(3), 9 (2013) ·Zbl 1321.68182号 ·doi:10.1145/2492061
[2] Chakarov，A.，Sankaranarayanan，S.：概率程序循环作为不动点的期望不变量。In：Müller-Olm，M.，Seidl，H.（编辑）静态分析。LNCS，第8723卷，第85-100页。斯普林格，海德堡（2014）·Zbl 06349452号 ·数字对象标识代码：10.1007/978-3-319-10936-76
[3] Cock，D.：用pGCL验证Isabelle中的概率正确性。El.程序。在Th.Comp.中。Sc.102、167–178（2012年）·doi:10.4204/EPTCS.102.15
[4] Dijkstra，E.W.：编程学科。普伦蒂斯·霍尔（1976）·Zbl 0368.68005号
[5] Feldman，Y.A.，Harel，D.：概率动态逻辑。In：程序。STOC，第181-195页。ACM（1982）·doi:10.1145/800070.802191
[6] Gordon，A.D.：《概率编程议程：可用、可移植和无所不在》（2013）。http://research.microsoft.com/en-us/projects/fun
[7] Gordon，A.D.，Graepel，T.，Rolland，N.，Russo，C.V.，Borgsteröm，J.，Guiver，J.：表格：一种模式驱动的概率编程语言。In：程序。第321-334页。ACM出版社（2014）·Zbl 1284.68103号 ·doi:10.1145/2535838.2535850
[8] Gordon，A.D.，Henzinger，T.A.，Nori，A.V.，Rajamani，S.K.：概率编程。In：程序。第167-181页。ACM出版社（2014）·数字对象标识代码：10.1145/2593882.2593900
[9] Gretz，F.、Jansen，N.、Kaminski，B.L.、Katoen，J.P.、McIver，A.、Olmedo，F.：概率规划中的条件反射。In：程序。MFPS第12页（2015年）·Zbl 1351.68066号
[10] Gretz，F.、Jansen，N.、Kaminski，B.L.、Katoen，J.P.、McIver，A.、Olmedo，F.：概率规划中的条件反射。CoRR（2015年）·Zbl 1351.68066号
[11] Gretz，F.、Katoen，J.P.、McIver，A.：概率保护命令语言的操作性语义与最弱的预期望语义。执行。评估。73, 110–132 (2014) ·doi:10.1016/j.peva.2013.11.004
[12] Hur，C.K.，Nori，A.V.，Rajamani，S.K.，Samuel，S.：切片概率程序。In：程序。PLDI，第133-144页。ACM出版社（2014）·电话：10.1145/2666356.2594303
[13] Hurd，J.、McIver，A.、Morgan，C.：HOL中机械化的概率守卫命令。西奥。计算。科学。346(1), 96–112 (2005) ·Zbl 1080.68063号 ·doi:10.1016/j.tcs.2005.08.005
[14] Kaminski，B.L.，Katoen，J.-P.：关于几乎确定终止的硬度。收件人：Italiano，G.F.，Pighizini，G.，Sannella，D.T.（编辑）MFCS 2015。LNCS，第9234卷，第307–318页。斯普林格，海德堡（2015）·Zbl 1465.68097号 ·doi:10.1007/978-3-662-48057-1_24
[15] Katoen，J.-P.，McIver，A.K.，Meinike，L.A.，Morgan，C.C.：概率程序的线性变分生成。收录：Cousot，R.，Martel，M.（编辑）SAS 2010。LNCS，第6337卷，第390-406页。斯普林格，海德堡（2010）·Zbl 1239.68020号 ·doi:10.1007/978-3642-15769-124
[16] Kozen，D.：概率程序的语义。J.计算。系统。科学。22(3), 328–350 (1981) ·Zbl 0476.68019号 ·doi:10.1016/0022-0000（81）90036-2
[17] McIver，A.，Morgan，C.：概率系统的抽象、精炼和证明。斯普林格（2004）·Zbl 1069.68039号
[18] Motwani，R.，Raghavan，P.：随机算法。剑桥大学出版社（1995）·Zbl 0849.68039号 ·doi:10.1017/CBO9780511814075
[19] Nori，A.V.、Hur，C.K.、Rajamani，S.K.、Samuel，S.:R2：概率程序的有效MCMC采样器。In：程序。AAAI的。AAAI出版社（2014年7月）
[20] Olderog，E.R.：网络、术语和公式：并发过程的三种观点及其关系。剑桥理论计算机科学丛书。剑桥大学出版社（1990）
[21] Paige，B.，Wood，F.：概率编程语言的编译目标。In：程序。ICML的。《JMLR诉讼记录》，第32卷，第1935-1943页。JMLR.org（2014）
[22] 菲加罗：一种面向对象的概率编程语言。技术报告，Charles River Analytics（2000）
[23] Puterman，M.：马尔可夫决策过程：离散随机动态规划。约翰·威利父子（1994）·Zbl 0829.90134号 ·doi:10.1002/9780470316887
[24] Sampson，A.、Panchekha，P.、Mytkowicz，T.、McKinley，K.S.、Grossman，D.、Ceze，L.：表达和验证概率断言。In：程序。PLDI，第14页。ACM（2014）·doi:10.1145/2666356.2594294
[25] Sharir，M.，Pnueli，A.，Hart，S.：概率程序的验证。SIAM计算机杂志13（2），292–314（1984）·Zbl 0533.68012号 ·数字对象标识代码：10.1137/0213021
[26] Shoup，V.：数论和代数的计算导论。剑桥大学出版社（2009）·Zbl 1196.11002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。