Sign in
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.
Antoine Miné
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