Verified Compilation of Floating-Point Computations.

Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond

Published in: J. Autom. Reason. (2015)

Keyphrases

floating point
square root
fixed point
sparse matrices
instruction set
interval arithmetic
floating point arithmetic
general purpose
artificial intelligence
data structure
np hard
parallel computation