11 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain A. The abstract (post-) fixpoint com…