Semantics of Probabilistic Programs. Approaches discussed in literature E 1 p E 2 => E 1 (with prob. p) => E 2 (with prob. (1-p)) Probability of a specific output is not explicit. [E 1 p E 2 ]s = (p)*[E 1 ]s + (1-p)*[E 2 ]s [E]s is a measure function from events to probabilities.
=> E2 (with prob. (1-p))