Towards Probabilistic Program Slicing
Jeremy Singer · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006
This paper outlines the concept of extit{probabilistic} program slicing. It walks through a simple example before describing some algorithmic concerns. Then three motivating applications are described. Finally it highlights existing work that may be built upon, and future work that needs immediate attention if this idea is to succeed.