In this article, we go one step further by automatically transforming larger pieces of code containing assignments and control structures.
Abstract. Numerical programs performing floating-point computations are very sensitive to the way formulas are written. These last years, sev-.
We use abstract interpretation-based static analysis techniques to over-approximate the roundoff errors in programs and during the transformation of expressions ...
Apr 22, 2016 · Numerical programs performing floating-point computations are very sensitive to the way formulas are written.
Intra-procedural Optimization of the Numerical Accuracy of Programs
link.springer.com › content › pdf
Abstract. Numerical programs performing floating-point computations are very sensitive to the way formulas are written. These last years, sev-.
We define a set of transformation rules allowing the generation, under certain conditions, of larger expressions by performing limited formal computations, ...
Intra-procedural Optimization of the Numerical Accuracy of Programs. https ... Improving the numerical accuracy of programs by automatic transformation.
We use abstract interpretation-based static analysis techniques to over-approximate the roundoff errors in programs and during the transformation of expressions ...
This article studies the impact of program transformations for numerical accuracy specially in embedded systems on other efficiency parameters such as execution ...
we call the intraprocedural transformation tool to optimize the intermediary program, in other words, the body of the new function calleex(), as shown in ...