8 citations · 10 across the 5 of their papers we have counts for
1 paper · 2 filters
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…