An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs (0)

by D Monniaux
Venue:In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL ’01. ACM, 2001