Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.

Eric Goubault, Matthieu Martel, Sylvie Putot

Browse the full ESOP paper archive.