The Semantic Approach to Program Slicing.

G. A. Venkatesh

Published in: PLDI (1991)

Keyphrases

program slicing
source code
natural language
description languages
semantic annotation
fault localization
high level
domain specific
reverse engineering
case study
relational databases
domain independent
formal verification