A Proposal to add Interval Arithmetic to the C++ Standard Library

Pion, Sylvain; Brönnimann, Hervé; Melquiond, Guillaume

doi:10.4230/DagSemProc.06021.4

Document

A Proposal to add Interval Arithmetic to the C++ Standard Library

Authors Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6021
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-09-13

PDF

File

PDF

DagSemProc.06021.4.pdf

Filesize: 158 kB
25 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06021.4
URN: urn:nbn:de:0030-drops-7189

Subject Classification

Keywords

Interval arithmetic
C++
ISO standard

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

I will report on a recent effort by Guillaume Melquiond, HervÃƒÂ© Br"onnimann
and myself to push forward a proposal to include interval arithmetic in the
next C++ ISO standard.  The goals of the standardization are to produce a
unified specification which will serve as many uses of intervals as possible,
together with hoping for very efficient implementations, closer to the
compilers.  I will describe how the standardization process works, explain
some of the design choices made, and list some of the other questions arising
in the process.  We welcome any comment on the proposal.

Cite As Get BibTex

Sylvain Pion, Hervé Brönnimann, and Guillaume Melquiond. A Proposal to add Interval Arithmetic to the C++ Standard Library. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.06021.4

Author Details

Sylvain Pion

Hervé Brönnimann

Guillaume Melquiond

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail