×
何继峰；C.A.R.霍尔。

概率规划中的关联理论。 （英语） Zbl 0943.68033号

信息科学。 119，第3-4号，205-218（1999）.
总结：本文通过一系列阶段提出了一种基于关系演算的概率规划理论；每个阶段都集中于一个不同的、较小的项目类别，由增加力量的健康条件定义。在每个阶段，我们都证明了概率语言的符号保持了其操作数的健康条件，并且每个理论都保持了递归的定义。

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

概率规划；关系演算
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{C.A.R.Hoare}，Inf.Sci。119，编号3--4，205-218（1999；Zbl 0943.68033）
全文： 内政部

参考文献：

[1] J.C.M.Baeten，J.A.Bergstra，S.A.Smolka，《公理化概率过程ACP与生成概率》，LNCS（1993）630；J.C.M.Baeten，J.A.Bergstra，S.A.Smolka，《公理化概率过程ACP与生成概率》，LNCS（1993）630·Zbl 0829.60044号
[2] Back，R.-J.R.，《程序推导的微积分》，《信息学报》，25593-624（1988）·Zbl 0658.68018号
[3] E.W.Dijkstra，《程序设计学科》，普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1976年；E.W.Dijkstra，编程学科，普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1976年·Zbl 0368.68005号
[4] R.Fagin，J.Y.Halpern，N.Meggido，《概率、信息和计算推理逻辑》（1990）78-128；R.Fagin，J.Y.Halpern，N.Meggido，《概率、信息和计算推理逻辑》（1990）78-128·Zbl 0811.03014号
[5] Michele Giry，概率论的分类方法，LCM，915，68-85（1975）·Zbl 0486.60034号
[6] H.Hansson，B.Jonsson，《具有时间和概率的通信系统的微积分》，摘自：第11届IEEE实时系统研讨会论文集，1990年；H.Hansson，B.Jonsson，《具有时间和概率的通信系统演算》，摘自：第11届IEEE实时系统研讨会论文集，1990年
[7] 何继峰；塞德尔，K。；McIver，A.，防护命令语言的概率模型，计算机编程科学，28171-192（1997）·Zbl 0877.68014号
[8] Hoare，C.A.R.，《编程法》，《ACM通信》，第30、8、672-686页（1987年）·兹比尔062968006
[9] C.A.R.Hoare，何继峰，《程序设计统一理论》，普伦蒂斯·霍尔，恩格尔伍德克利夫斯，新泽西州，1998年；C.A.R.Hoare，何继峰，《程序设计统一理论》，普伦蒂斯·霍尔，恩格尔伍德克利夫斯，新泽西州，1998年
[10] C.Jones，G.Plotkin，评估的概率功率域，摘自：第四届IEEE计算机科学逻辑研讨会论文集，马萨诸塞州剑桥，1989年，第186-195页；C.Jones，G.Plotkin，评估的概率功率域，摘自：第四届IEEE计算机科学逻辑研讨会论文集，马萨诸塞州剑桥，1989年，第186-195页·Zbl 0716.06003号
[11] C.Jones，概率不确定性，博士论文，爱丁堡大学；C.Jones，概率不确定性，爱丁堡大学博士论文
[12] Larsen，K.G。；Skou，A.，通过概率测试的互模拟，信息和计算，94，1（1991）·Zbl 0756.68035号
[13] F.W.Lawvere，概率映射的范畴，1962年，预印本；F.W.Lawvere，概率映射的类别，1962年，预印本
[14] C.C.Morgan，《规范编程》，第二版，Prentice Hall，Englewood Cliffs，新泽西州，1994年；C.C.Morgan，《规范编程》，第二版，Prentice-Hall，新泽西州恩格尔伍德克利夫斯，1994年·兹比尔0829.68083
[15] C.C.Morgan，A.McIver，K.Seidel，J.W.Sanders，CSP的精炼导向概率，技术报告PRG-TR-12-94，牛津大学计算实验室，1994年；C.C.Morgan，A.McIver，K.Seidel，J.W.Sanders，CSP的精炼导向概率，技术报告PRG-TR-12-94，牛津大学计算实验室，1994年·Zbl 0862.68050号
[16] C.C.Morgan，A.McIver，K.Seidel，J.W.Sanders，概率谓词变换器，技术报告PRG-TR-5-95，牛津大学计算实验室，1995年；C.C.Morgan、A.McIver、K.Seidel、J.W.Sanders，概率谓词变换器，技术报告PRG-TR-5-95，牛津大学计算实验室，1995年
[17] Morris，J.M.，《逐步求精和编程微积分的理论基础》，《计算机程序设计科学》，9，3，287-306（1987）·Zbl 0624.68017号
[18] Rao，J.R.，《概率并行程序的推理》，《程序设计语言和系统的ACM事务》，16，3（1994）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。