activity
20132022
most citedAbstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

13 citations · 26 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2016★ 1 cited

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…