On the algebraic analysis of runtime distribution of probabilistic programs

Michele Boreale, Luisa Collodi, Alessandro Pompa Di Gregorio

We present an algebraic method for analyzing probabilistic programs with counters and discrete states, Generalized Constant Probability (GCP) programs. We define the operational se…