A New Abstract Domain for the Representation of Mathematically Equivalent Expressions

Arnault Ioualalen 1, 2 Matthieu Martel 2, 1
2 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 : Exact computations being in general not tractable for computers, they are approximated by floating-point computations. This is the source of many errors in numerical programs. Because the floating-point arithmetic is not intuitive, these errors are very di cult to detect and to correct by hand and we consider the problem of automatically synthesizing accurate formulas.We consider that a program would return an exact result if the computations were carried out using real numbers. In practice, roundo errors arise during the execution and these errors are closely related to the way formulas are written. Our approach is based on abstract interpretation. We introduce Abstract Program Equivalence Graphs (APEGs) to represent in polynomial size an exponential number of mathematically equivalent expressions. The concretization of an APEG yields expressions of very di erent shapes and accuracies. Then, we extract optimized expressions from APEGs by searching the most accurate concrete expressions among the set of represented expressions.
Type de document :
Communication dans un congrès
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 19th International Static Analysis Symposium, LNCS (7460), pp.75-93, 2012, 〈http://www.sas2012.ens.fr/〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00698618
Contributeur : Matthieu Martel <>
Soumis le : jeudi 17 mai 2012 - 11:05:43
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 09:27:52

Fichier

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

Identifiants

  • HAL Id : hal-00698618, version 1

Collections

Citation

Arnault Ioualalen, Matthieu Martel. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. SAS: Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 19th International Static Analysis Symposium, LNCS (7460), pp.75-93, 2012, 〈http://www.sas2012.ens.fr/〉. 〈hal-00698618〉

Partager

Métriques

Consultations de la notice

232

Téléchargements de fichiers

368