Improving the numerical accuracy of programs by automatic transformation

Abstract : he dangers of programs performing floating- point computations are well known. This is due to the sensitivity of the results to the way formulæ are written. These last years, several techniques have been proposed concerning the transformation of arithmetic expressions in order to improve their numerical accuracy and, in this arti- cle, we go one step further by automatically transforming larger pieces of code containing assignments and control structures. We define a set of transformation rules allowing the generation, under certain conditions and in polynomial time, of larger expressions by performing limited formal computations, possibly among several iterations of a loop. These larger expressions are better suited to improve, by reparsing, the numerical accuracy of the program results. We use abstract interpretation-based static analysis techniques to over-approximate the round-off errors in programs and during the transformation of expressions. A tool has been implemented and experimental results are presented con- cerning classical numerical algorithms and algorithms for embedded systems.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01373666
Contributor : Alexandre Chapoutot <>
Submitted on : Thursday, September 29, 2016 - 8:52:27 AM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

Identifiers

Citation

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0435-0⟩. ⟨hal-01373666⟩

Share

Metrics

Record views

158