Optimal inverse projection of floating-point addition
Numerical Algorithms, pp. 957-986, 2019.
Floating-point Inverse projection Abstract interpretation
In a setting where we have intervals for the values of floating-point variables x, a, and b, we are interested in improving these intervals when the floating-point equality x ⊕ a = b holds. This problem is common in constraint propagation and called the inverse projection of the addition. It also appears in abstract interpretation for the...More
Full Text (Upload PDF)
PPT (Upload PPT)