Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.

Published in: ESOP (2004)

Keyphrases

floating point
fixed point
square root
sparse matrices
search space
false positives
fast fourier transform
instruction set
computer vision
database systems
computer science
relational databases
data model
sufficient conditions