Probabilistic data flow analysis: a linear equational approach - Di Pierro, Alessandra; Wiklicky, Herbert (Electronic proceedings in theoretical computer science, 2013)