Optimal inverse projection of floating-point addition

Diane Gallois-Wong
Diane Gallois-Wong
Pascal Cuoq
Pascal Cuoq

Numerical Algorithms, pp. 957-986, 2019.

Cited by: 0|Bibtex|Views0|
EI
Keywords:
Floating-point Inverse projection Abstract interpretation

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments