| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs by David Monniaux. From 28th Symposium on Principles of Programming Languages (POPL '01). BibTEX Entry @INPROCEEDINGS{Monniaux_POPL01,
AUTHOR = {David Monniaux},
TITLE = {An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs},
YEAR = {2001},
URL = {http://www.csl.sri.com/papers/monniauxpopl01/},
BOOKTITLE = {28th Symposium on Principles of Programming Languages (POPL '01)},
ORGANIZATION = {Association for Computer Machinery}
}
|
||||
About Us 
R&D Divisions
Careers
Newsroom
Contact Us
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy