An abstract Monte-Carlo method for the analysis of probabilistic programs

被引：13
|
作者：
Monniaux, D [1 ]
机构：
[1] Ecole Normale Super, Lab Informat, F-75230 Paris 5, France
来源：
ACM SIGPLAN NOTICES | 2001年 / 36卷 / 03期
关键词：
D O I：
10.1145/373243.360211
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We introduce a new method, combination of random testing and abstract interpretation, for the analysis of programs featuring both probabilistic and non-probabilistic nondeterminism. After introducing "ordinary" testing, we show haw to combine testing and abstract interpretation and give formulas linking the precision of the results to the number of iterations. We then discuss complexity and optimization issues and end with some experimental results.
引用
收藏
页码：93 / 101
页数：9
相关论文
共 50 条
  • [1] Probabilistic analysis of the Single Particle Wigner Monte-Carlo method
    Dimov, I
    Savov, M.
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2020, 173 : 32 - 50
  • [2] Probabilistic analysis for cutting force in orthogonal cutting using Monte-Carlo method
    School of Mechanical Engineering & Automation, Northeastern University, Shenyang
    110819, China
    Dongbei Daxue Xuebao, 2 (254-258):
  • [3] ANALYSIS OF A MONTE-CARLO NYSTROM METHOD
    Feppon, Florian
    Ammari, Habib
    SIAM JOURNAL ON NUMERICAL ANALYSIS, 2022, 60 (03) : 1226 - 1250
  • [4] PROBABILISTIC APPROACH TO MONTE-CARLO OPERATORS
    TESSAROTTO, M
    WHITE, RB
    ZHENG, LJ
    PHYSICS OF PLASMAS, 1994, 1 (08) : 2591 - 2602
  • [5] THE MONTE-CARLO METHOD
    MCCRACKEN, DD
    SCIENTIFIC AMERICAN, 1955, 192 (05) : 90 - +
  • [6] ON THE MONTE-CARLO METHOD
    TRICOT, C
    ACTUALITE ECONOMIQUE, 1962, 38 (03): : 425 - 444
  • [7] Bandit-based Monte-Carlo structure learning of probabilistic logic programs
    Di Mauro, Nicola
    Bellodi, Elena
    Riguzzi, Fabrizio
    MACHINE LEARNING, 2015, 100 (01) : 127 - 156
  • [8] Bandit-based Monte-Carlo structure learning of probabilistic logic programs
    Nicola Di Mauro
    Elena Bellodi
    Fabrizio Riguzzi
    Machine Learning, 2015, 100 : 127 - 156
  • [9] MONTE-CARLO METHOD
    VACATELLO, M
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1989, 198 : 4 - POLY
  • [10] MONTE-CARLO METHOD
    HENON, M
    ASTROPHYSICS AND SPACE SCIENCE, 1971, 14 (01) : 151 - &
12345