Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

Nathalie Revol 1, 2
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Interval arithmetic is a tool of choice for numerical software verification, as every result computed using this arithmetic is self-verified: every result is an interval that is guaranteed to contain the exact numerical values, regardless of uncertainty or roundoff errors. From 2008 to 2015, interval arithmetic underwent a standardization effort , resulting in the IEEE 1788-2015 standard. The main features of this standard are developed: the structure into levels, from the mathematic model to the implementation on computers; the possibility to accommodate different mathematical models, called flavors; the decoration system that keeps track of relevant events during the course of a calculation; the exact dot product for point (as opposed to interval) vectors.
Type de document :
Communication dans un congrès
Alessandro Abate; Sylvie Boldo. 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. Springer, pp.14-21, 2017, LNCS. 〈http://www.cs.ox.ac.uk/conferences/NSV17/〉. 〈10.1007/978-3-319-63501-9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01559955
Contributeur : Nathalie Revol <>
Soumis le : mardi 11 juillet 2017 - 10:04:52
Dernière modification le : vendredi 20 avril 2018 - 15:44:26
Document(s) archivé(s) le : mercredi 24 janvier 2018 - 21:21:26

Fichier

NRevol-NSV17-HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Nathalie Revol. Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. Alessandro Abate; Sylvie Boldo. 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. Springer, pp.14-21, 2017, LNCS. 〈http://www.cs.ox.ac.uk/conferences/NSV17/〉. 〈10.1007/978-3-319-63501-9〉. 〈hal-01559955〉

Partager

Métriques

Consultations de la notice

214

Téléchargements de fichiers

95