License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06021.4
URN: urn:nbn:de:0030-drops-7189
URL: https://drops.dagstuhl.de/opus/volltexte/2006/718/
Go to the corresponding Portal


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

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

pdf-format:
06021.PionSylvain.Paper.718.pdf (0.2 MB)


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.

BibTeX - Entry

@InProceedings{pion_et_al:DagSemProc.06021.4,
  author =	{Pion, Sylvain and Br\"{o}nnimann, Herv\'{e} and Melquiond, Guillaume},
  title =	{{A Proposal to add Interval Arithmetic to the C++ Standard Library}},
  booktitle =	{Reliable Implementation of Real Number Algorithms: Theory and Practice},
  pages =	{1--25},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6021},
  editor =	{Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/718},
  URN =		{urn:nbn:de:0030-drops-7189},
  doi =		{10.4230/DagSemProc.06021.4},
  annote =	{Keywords: Interval arithmetic, C++, ISO standard}
}

Keywords: Interval arithmetic, C++, ISO standard
Collection: 06021 - Reliable Implementation of Real Number Algorithms: Theory and Practice
Issue Date: 2006
Date of publication: 13.09.2006


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI