3 citations · 3 across the 1 of their papers we have counts for
1 paper
Alexis Fouilhé, David Monniaux, Michaël Périn
Polyhedra form an established abstract domain for inferring runtime properties of programs using abstract interpretation. Computations on them need to be certified for the whole st…