Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables.

Alexandre Chapoutot

Published in: SAS (2010)

Keyphrases

floating point
interval arithmetic
fixed point
real numbers
constraint propagation
square root
floating point arithmetic
instruction set
sensitivity analysis
sparse matrices
three dimensional
computer science
general purpose