A Sound Floating-Point Polyhedra Abstract Domain.

Liqian Chen Antoine Miné Patrick Cousot

Published in: APLAS (2008)

Keyphrases

high quality
floating point
fixed point
instruction set
sparse matrices
square root
floating point arithmetic
fast fourier transform
data structure
fine grained
massively parallel