HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Sardana: an Automatic Tool for Numerical Accuracy Optimization

Arnault Ioualalen 1 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 : On computers real numbers are approximated by floating-point numbers defined by the IEEE754 formats [1]. For most computations these formats are precise enough even though the induced approximation errors inherently. However in some cases the accuracy of the calculation is critical and the user needs to certify that his program will always yield an accurate enough output for every valid input. As it is impossible to check the validity of a calculation for every inputs, static analyzers such as Fluctuat or Astr ee rely on an interval or relational representation of the inputs, combined to abstract interpretation.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

Contributor : Matthieu Martel Connect in order to contact the contributor
Submitted on : Monday, May 21, 2012 - 9:41:22 AM
Last modification on : Friday, October 22, 2021 - 3:07:35 PM
Long-term archiving on: : Thursday, December 15, 2016 - 8:32:05 AM


Files produced by the author(s)


  • HAL Id : hal-00698619, version 1



Arnault Ioualalen, Matthieu Martel. Sardana: an Automatic Tool for Numerical Accuracy Optimization. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4. ⟨hal-00698619⟩



Record views


Files downloads