Weiser’s approach
For Weiser, a slice was a reduced, executable program obtained by removing statements from a program
- The new program had to share parts of the behavior of the original
Weiser computed slices using a dataflow algorithm, given a program point (criterion)
- Using data flow and control dependences, iteratively add sets of relevant statements until a fixpoint is reached