Directed Rounding Arithmetic Operations in C Reportar como inadecuado




Directed Rounding Arithmetic Operations in C - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Keywords : interval arithmetic directed rounding floating-point arithmetic C++ standardization software design





Autor: Guillaume Melquiond - Sylvain Pion -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados