Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic

Nathalie Revol 1, *
* Auteur correspondant
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Interval arithmetic undergoes a standardization effort started in 2008 by the IEEE P1788 working group. The structure of the proposed standard is presented: the mathematical level is distinguished from both the implementation and representation levels. The main definitions are introduced: interval, mathematical functions, either arithmetic operations or trigonometric functions, comparison relations, set operations. While developing this standard, some topics led to hot debate. Such a hot topic is the handling of exceptions. Eventually, the system of decorations has been adopted. A decoration is a piece of information that is attached to each interval. Rules for the propagation of decorations have also been defined. Another hot topic is the mathematical model used for interval arithmetic. Historically, the model introduced by R. Moore in the 60s covered only non-empty and bounded intervals. The set-based model includes the empty set and unbounded intervals as well. Tenants of Kaucher arithmetic also insisted on offering "reverse" intervals. It has eventually been decided that an implementation must provide at least one of these flavors of interval arithmetic. The standard provides hooks for these different flavors. As the preparation of the draft should end in December 2013, no chapter is missing. However, a reference implementation would be welcome.
Type de document :
Communication dans un congrès
ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Jul 2014, Liverpool, United Kingdom. ASCE: American Society of Civil Engineers, pp.1-10, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00920662
Contributeur : Nathalie Revol <>
Soumis le : lundi 17 février 2014 - 15:38:05
Dernière modification le : samedi 17 mai 2014 - 00:28:55

Fichiers

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

Identifiants

  • HAL Id : hal-00920662, version 2

Collections

Citation

Nathalie Revol. Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic. ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Jul 2014, Liverpool, United Kingdom. ASCE: American Society of Civil Engineers, pp.1-10, 2014. <hal-00920662v2>

Partager

Métriques

Consultations de
la notice

544

Téléchargements du document

137