Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

摘要

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values and relies on the notion of abstract dependencies between program statements.