SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs
 by David Monniaux.

From 28th Symposium on Principles of Programming Languages (POPL '01).
Association for Computer Machinery.


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
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy