Sylvie Putot, Eric Goubault, Matthieu Martel. Static Analysis-Based Validation of Floating-Point Computations. In René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther, editors, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Volume 2991 of Lecture Notes in Computer Science, pages 306-313, Springer, 2003. [doi]
Abstract is missing.