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

Mastroeni, I; Zanardini, D

Mastroeni, I (reprint author), Univ Verona, Fac Sci, Dipartimento Informat, I-37134 Verona, Italy.

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017; 18 (1):

Abstract

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are cons......

Full Text Link