Probabilistic Output Analysis by Program Manipulation. - Rosendahl, Mads; Kirkeby, Maja H. (2015)