Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing

Isabella Mastroeni, Damiano Zanardini

In the present paper 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 val…