Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.

Published in: ATx/WInG@IJCAR (2012)

Keyphrases

floating point
floating point arithmetic
square root
fixed point
instruction set
higher level
sparse matrices
general purpose
interval arithmetic
integer arithmetic