RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations | IEEE Conference Publication | IEEE Xplore