Skip to Main content Skip to Navigation
Conference papers

Numerical Accuracy Improvement by Interprocedural Program Transformation

Abstract : Floating-point numbers are used to approximate the exact real numbers in a wide range of domains like numerical simulations, embedded software, etc. However, floating-point numbers are a finite approximation of real numbers. In practice, this approximation may introduce round-off errors and this can lead to catastrophic results. To cope with this issue, we have developed a tool which corrects partly these round-off errors and which consequently improves the numerical accuracy of computations by automatically transforming programs in a source to source manner. Our transformation, relies on static analysis by abstract interpretation and operates on pieces of code with assignments, conditionals and loops. In former work, we have focused on the intraprocedural transformation of programs and, in this article, we introduce the interprocedural transformation to improve accuracy.
Complete list of metadata
Contributor : Alexandre Chapoutot <>
Submitted on : Friday, September 29, 2017 - 11:27:04 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM




Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation. International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩. ⟨hal-01598851⟩



Record views