Matthieu Martel. RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. In Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. pages 118-122, IEEE Computer Society, 2011. [doi]
Abstract is missing.