Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

Alexandre Chapoutot

Published in: CoRR (2010)

Keyphrases

floating point
interval arithmetic
real numbers
fixed point
square root
instruction set
sparse matrices
constraint propagation
floating point arithmetic
general purpose
higher order
sufficient conditions
sensitivity analysis
finite sets
partial derivatives