Accurate Evaluation of Arithmetic Expressions (Invited Talk)

Matthieu Martel 1, 2
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 : In this article, we focus on the synthesis of arithmetic expressions that can be evaluated e ciently on computers in the sense that they do not create over ows, are accurate and do not use unnecessary ressources. We consider several computer arithmetics for integers, oating-point and xed-point numbers and intervals and we show how to synthetize new expressions, mathematically equivalent to the original ones and more e cient. Our approach is based on abstract interpretation. We introduce two abstractions to represent in polynomial size sets of mathematically equivalent expressions. Then, we extract optimized expressions by searching the most accurate expression among the expressions contained in the abstract structures. We focus on the correctness of the synthesis which consists of showing that the new expressions cannot be distinguished from the source expressions when an observational abstraction is used.
Type de document :
Communication dans un congrès
NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. Elsevier, 4th International Workshop on Numerical and Symbolic Abstract Domains, 287, pp.3-16, 2012, 〈http://nsad2012.ucombinator.org/〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00812995
Contributeur : Matthieu Martel <>
Soumis le : samedi 11 mai 2013 - 11:20:31
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : lundi 3 avril 2017 - 04:55:29

Fichier

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

Identifiants

  • HAL Id : hal-00812995, version 1

Collections

Citation

Matthieu Martel. Accurate Evaluation of Arithmetic Expressions (Invited Talk). NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. Elsevier, 4th International Workshop on Numerical and Symbolic Abstract Domains, 287, pp.3-16, 2012, 〈http://nsad2012.ucombinator.org/〉. 〈hal-00812995〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

116