Mixed abstractions for floating-point arithmetic.

Angelo Brillout Daniel Kroening Thomas Wahl

Published in: FMCAD (2009)

Keyphrases

floating point arithmetic
floating point
high level
databases
instruction set
fine grained
data storage