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

Published in: CoRR (2007)

Keyphrases

floating point
fixed point
square root
relational databases
false positives
data model
sparse matrices
relational data
error detection
database systems
bayesian networks
computer science
higher order
instruction set