Skip to Main content Skip to Navigation
Conference papers

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

Nathalie Revol 1, *
* Corresponding author
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-00920662
Contributor : Nathalie Revol <>
Submitted on : Monday, February 17, 2014 - 3:38:05 PM
Last modification on : Thursday, November 21, 2019 - 2:03:16 AM
Long-term archiving on: : Sunday, April 9, 2017 - 12:54:27 PM

Files

Revol.pdf
Files produced by the author(s)

Identifiers

  • 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, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10. ⟨hal-00920662v2⟩

Share

Metrics

Record views

737

Files downloads

390