Parametric Program Slicing.

John Field, G. Ramalingam, Frank Tip

Browse the full POPL paper archive.