Probabilistic /lambda-calculus and Quantitative Program Analysis
Probabilistic /lambda-calculus and Quantitative Program Analysis
复制标题
概率/lambda 演算和定量程序分析
DOI：
10.1093/logcom/exi008
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
H. Wiklicky
中科院分区：
文献类型：
--
作者：
A. D. Pierro;C. Hankin;H. Wiklicky
我们展示了概率抽象解释的框架如何可以应用于静态分析概率版本的λ演算。由此产生的分析允许在考虑统计定义的数量的基础上对其结果进行更具投机性的使用。在为概率λ-演算Λp引入基于线性算子的语义，并回顾抽象解释和严格性分析的框架之后，我们通过构造Λp的概率（一阶）严格性分析来展示我们的技术。
We show how the framework of probabilistic abstract interpretation can be applied to statically analyse a probabilistic version of the λ-calculus. The resulting analysis allows for a more speculative use of its outcomes based on the consideration of statistically defined quantities. After introducing a linear operator based semantics for our probabilistic λ-calculus Λp, and reviewing the framework of abstract interpretation and strictness analysis, we demonstrate our technique by constructing a probabilistic (first-order) strictness analysis for Λp.