21 citations · 29 across the 8 of their papers we have counts for
1 paper · 1 filter
Assalé Adjé, Stéphane Gaubert, Eric Goubault
We introduce a new domain for finding precise numerical invariants of programs by abstract interpretation. This domain, which consists of level sets of non-linear functions, genera…