2 papers
cs.PL2017
A Semantics for Probabilistic Control-Flow Graphs
Torben Amtoft, Anindya Banerjee
This article develops a novel operational semantics for probabilistic control-flow graphs (pCFGs) of probabilistic imperative programs with random assignment and "observe" (or cond…
cs.PL2017
A Theory of Slicing for Probabilistic Control-Flow Graphs
Torben Amtoft, Anindya Banerjee
We present a theory for slicing probabilistic imperative programs -- containing random assignments, and ``observe'' statements (for conditioning) -- represented as probabilistic co…