Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Roberto Bagnara, Matthieu Carlier, Roberta Gori +1

Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is signif…