Detecting floating-point errors via atomic conditions.

Daming Zou Muhan Zeng Yingfei Xiong Zhoulai Fu Lu Zhang Zhendong Su

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

floating point
fixed point
sufficient conditions
square root
instruction set
floating point arithmetic
fast fourier transform
interval arithmetic
sparse matrices