"Static analysis for probabilistic programs: inferring whole program ..."

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics