Sciweavers

PEPM
2009
ACM

Program transformation for numerical precision

14 years 9 months ago
Program transformation for numerical precision
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact result if the computations were carried out using real numbers. In practice, roundoff errors due to the finite representation of values arise during the execution. These errors are closely related to the way formulas are evaluated. Indeed, mathematically equivalent formulas, obtained using laws like associativity, distributivity, etc., may lead to very different numerical results in the computer arithmetic. We propose a semantics-based transformation in order to optimize the numerical accuracy of programs. This transformation is expressed in the interpretation framework and it aims at rewriting pieces of numerical codes in order to obtain results closer to what the computer would output if it used the exact arithmetic. Categories and Subject Descriptors D.2.4 [Software Engineering]: Program Verification—Va...
Matthieu Martel
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where PEPM
Authors Matthieu Martel
Comments (0)