RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations

Résumé

This article introduces RangeLab, a simple tool to validate the accuracy of floating-point or fixed-point computations. Given intervals for the inputs, RangeLab computes the range of the outputs of simple functions with conditionals and loops as well as a range for the roundoff errors arising during the computation. Hence the user not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. RangeLab is based on static analysis by abstract interpretation and, in this article, we describe the techniques implemented in the tool. In particular, RangeLab uses a hybrid numerical-formal evaluation technique used to limit the wrapping effect in interval computations.
Fichier principal
Vignette du fichier
synasc11.pdf (253.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00813002 , version 1 (14-04-2013)

Identifiants

  • HAL Id : hal-00813002 , version 1

Citer

Matthieu Martel. RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122. ⟨hal-00813002⟩
341 Consultations
89 Téléchargements

Partager

Gmail Facebook X LinkedIn More