尼尔·多伦多；杰·麦卡锡；戴维·范霍恩 反向运行概率程序。 （英语） Zbl 1335.68029号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，53-79（2015）。 摘要：许多概率编程语言允许程序在约束条件下运行，以便执行贝叶斯推理。在约束条件下运行程序可以实现其他用途，例如罕见事件模拟和概率验证，但所有这些概率语言都必须受到限制，因为它们是根据贫乏的概率理论定义或实现的。测量理论概率提供了一个更通用的基础，但它的通用性使得查找计算内容变得困难。我们为一阶递归概率语言开发了一种测量论语义，它将程序解释为计算预图像的函数。Preimage函数通常是不可变的，因此我们导出了抽象语义。我们实现了抽象语义，并使用该实现实现了贝叶斯推理、随机射线跟踪（罕见事件模拟）和浮点误差界的概率验证。有关整个系列，请参见[Zbl 1333.68020号]. 引用于三文件 MSC公司： 68甲15 编程语言理论 第68季度55 计算理论中的语义学 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：可能性；语义学；特定领域的语言 PDF格式BibTeX公司 XML格式引用 \textit{N.Toronto}等人，Lect。票据计算。科学。9032、53--79（2015年；Zbl 1335.68029） 全文： 内政部 arXiv公司