Improving the numerical accuracy of programs by automatic transformation

The 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 numer...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 19; no. 4; pp. 427 - 448
Main Authors:	Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2017 Springer Nature B.V Springer Verlag
Subjects:	Accuracy Algorithms Arithmetic Computer Arithmetic Computer programs Computer Science Data Structures and Algorithms Embedded systems Engineering Sciences Floating point arithmetic Floating structures Fmics 2015/2016 Formulas (mathematics) Other Software Engineering Software Engineering/Programming and Operating Systems Software quality Static code analysis Theory of Computation Transformations Floating-point numbers Numerical accuracy IEEE754 standard Program transformation Static analysis
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!