Directed Rounding Arithmetic Operations in C++

Guillaume Melquiond 1 Sylvain Pion 2
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
2 GEOMETRICA - Geometric computing
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Saclay - Ile de France
Abstract : We propose the addition of new functions to the C++0x standard library that provide floating-point operations (+, -, *, /, sqrt and fma) as well as conversion functions with directed rounding. This set of functions is necessary to provide efficient support for interval arithmetic and related computations, and they directly map to IEEE-754 specifications. These functions require special compiler support due to their "constexpr" nature. This document is submitted to the ISO/WG21 working group which standardizes the C++ language, under the document N2811 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2811.pdf).
Type de document :
Rapport
[Research Report] RR-6757, INRIA. 2008, pp.11
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00345094
Contributeur : Sylvain Pion <>
Soumis le : lundi 8 décembre 2008 - 13:22:41
Dernière modification le : samedi 27 janvier 2018 - 01:32:11
Document(s) archivé(s) le : jeudi 11 octobre 2012 - 12:50:47

Fichier

RR-6757.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00345094, version 1

Collections

Citation

Guillaume Melquiond, Sylvain Pion. Directed Rounding Arithmetic Operations in C++. [Research Report] RR-6757, INRIA. 2008, pp.11. 〈inria-00345094〉

Partager

Métriques

Consultations de la notice

391

Téléchargements de fichiers

134