A Debugger for Probabilistic Programs

[1]  Nils Jansen,et al.  Understanding Probabilistic Programs , 2015, Correct System Design.

[2]  Annabelle McIver,et al.  Abstraction, Refinement and Proof for Probabilistic Systems , 2004, Monographs in Computer Science.

[3]  Dan Grossman,et al.  Debugging probabilistic programs , 2017, MAPL@PLDI.

[4]  Sanjeev Kumar Aggarwal,et al.  Debuggers for Programming Languages , 2002, The Compiler Design Handbook.

[5]  Thomas A. Henzinger,et al.  Probabilistic programming , 2014, FOSE.