Slicing of Probabilistic Programs based on Specifications

Marcelo Navarro, Federico Olmedo

This paper presents the first slicing approach for probabilistic programs based on specifications. We show that when probabilistic programs are accompanied by their specifications…