10 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
David Monniaux, Laure Gonnord
Two classical sources of imprecision in static analysis by abstract interpretation are widening and merge operations. Merge operations can be done away by distinguishing paths, as…