首页> 外文OA文献 >Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

【2h】

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

机译：使用截断正态分布的命令式程序的概率抽象解释

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Smith Michael J.A.;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Development of statistical convolutions of truncated normal and truncated skew normal distributions with applications [J] . Russell Krenek, Jinho Cha, Byung Rae Cho, Journal of statistical theory and practice . 2017,第1a2期

机译：与申请的截断正常和截断偏置正常分布统计卷曲的发展
2. On three dimensional multivariate version of q-Normal distribution and probabilistic interpretations of Askey-Wilson; Al-Salam-Chihara and q-ultraspherical polynomials [J] . Szablowski Pawel J. Journal of Mathematical Analysis and Applications . 2019,第2期

机译：论Q正态分布的三维多元版本与ASKEY-WILSON的概率解释; Al-Salam-Chihara和Q超空白多项式
3. Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing [J] . Mastroeni Isabella, Zanardini Damiano ACM transactions on computational logic . 2017,第1期

机译：抽象程序切片：基于抽象解释的程序切片方法
4. Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation [C] . Raghavan Komondoor International symposium on static analysis . 2013

机译：通过术语重写和抽象解释在命令式程序中进行精确切片
5. On the truncated normal distribution: Characteristics of singly and doubly truncated populations of application in management science. [D] . Johnson, Arvid Conrad, III. 2001

机译：关于截断正态分布：在管理科学中应用的单双截断种群的特征。
6. Parametric estimation of P(X Y) for normal distributions in the context of probabilistic environmental risk assessment [O] . Rianne Jacobs, Andriëtte A. Bekker, Hilko van der Voet, -1

机译：在概率环境风险评估中正态分布的P（X Y）的参数估计
7. Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation [O] . Komondoor Raghavan 2013

机译：通过术语重写和抽象解释在命令式程序中进行精确切片

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

著录项

引文网络

相似文献

相关主题

期刊订阅