Open AccessAn abstract Monte-Carlo method for the analysis of probabilistic programs
Author(s) -
David Monniaux
Publication year - 2001
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/373243.360211
Subject(s) - computer science , probabilistic logic , abstract interpretation , interpretation (philosophy) , monte carlo method , probabilistic analysis of algorithms , algorithm , theoretical computer science , mathematical optimization , programming language , artificial intelligence , mathematics , statistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom