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

Matthieu Martel 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : 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.
Type de document :
Communication dans un congrès
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. IEEE, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.118-122, 2011, 〈http://synasc11.info.uvt.ro/〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00813002
Contributeur : Matthieu Martel <>
Soumis le : dimanche 14 avril 2013 - 16:52:38
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : lundi 3 avril 2017 - 04:52:24

Fichier

synasc11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00813002, version 1

Collections

Citation

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. IEEE, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.118-122, 2011, 〈http://synasc11.info.uvt.ro/〉. 〈hal-00813002〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

102