Parametric Program Slicing.

John Field G. Ramalingam Frank Tip

Published in: POPL (1995)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
open source
model based diagnosis
description language
neural network
knowledge management
software systems