PMAF: an algebraic framework for static analysis of probabilistic programs.

Di Wang, Jan Hoffmann, Thomas W. Reps

Browse the full PLDI paper archive.