10 citations · 19 across the 3 of their papers we have counts for
1 paper · 2 filters
Mendes Oulamara, Arnaud Venet
The inference and the verification of numerical relationships among variables of a program is one of the main goals of static analysis. In this paper, we propose an Abstract Interp…