Paper accepted at MFPS XXXI

The paper “Conditioning in Probabilistic Programming” by Friedrich Gretz, Nils Jansen, Benjamin Kaminski, Joost-Pieter Katoen, Annabelle McIver, and Federico Olmedo has been accepted at the 31st Mathematical Foundations of Programming Semantics Conference.  The paper provides an operational and wp-semantics for an imperative probabilistic programming language with conditioning, studies their relation, and shows its usage for program transformations.