Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).

Marcelo Navarro, Federico Olmedo

Browse the full ECOOP paper archive.