On optimal slicing of parallel programs
Markus Müller-Olm, Helmut Seidl · 2001
Optimal program slicing determines for a statement S in a program π whether or not S affects a specified set of statements, given that all conditionals in π are interpreted as non-deterministic choices.