Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.

Michael Leuschel, Germn Vidal

Browse the full ESOP paper archive.