Abstract Interpretation of Probabilistic Semantics

Abstract Interpretation of Probabilistic Semantics
复制标题

DOI：
10.1007/978-3-540-45099-3_17
复制
发表时间：
2000-06
期刊：
--
影响因子：
--
通讯作者：
D. Monniaux
D. Monniaux
中科院分区：
其他
文献类型：
--
作者：
D. Monniaux

文献摘要

被引文献

相似文献

根据早期的模型，我们解除标准的确定性和不确定性的语义的命令式程序的概率语义。这种语义允许已知或未知的概率和随机数generator.Then随机外部输入，我们提出了一种方法，根据这种语义分析程序，在抽象解释的一般框架。这种方法提升了一个“普通”的抽象格，非概率程序，一个适合于概率程序。我们的建设是高度通用的。根据实验结果，讨论了某些参数对分析精度的影响。
Following earlier models, we lift standard deterministic and nondeterministic semantics of imperative programs to probabilistic semantics. This semantics allows for random external inputs of known or unknown probability and random number generators.We then propose a method for analysing programs according to this semantics, in the general framework of abstract interpretation. This method lifts an “ordinary” abstract lattice, for non-probabilistic programs, to one suitable for probabilistic programs.Our construction is highly generic. We discuss the influence of certain parameters on the precision of the analysis, basing ourselves on experimental results.