12 citations · 42 across the 5 of their papers we have counts for
1 paper · 1 filter
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…