Damiano Zanardini

Identifiers

• name variant Damiano Zanardini 0.60 · backfill

Papers (4)

1. Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing cs.LO · 2016 · author #2
2. Inference of Field-Sensitive Reachability and Cyclicity cs.PL · 2013 · author #1
3. Reachability-based Acyclicity Analysis by Abstract Interpretation cs.PL · 2012 · author #2
4. 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) cs.PL · 2009 · author #2

Mentions

• 1306.6526 #1 · backfill · confidence 0.70 Damiano Zanardini
• 1206.2188 #2 · backfill · confidence 0.70 Damiano Zanardini
• 0903.1598 #2 · backfill · confidence 0.70 Damiano Zanardini

Frequent Coauthors

• Samir Genaim 2 shared papers
• Isabella Mastroeni 1 shared papers
• Puri Arenas 1 shared papers