Program transformation for numerical precision

@inproceedings{Martel2009ProgramTF,
  title={Program transformation for numerical precision},
  author={Matthieu Martel},
  booktitle={PEPM},
  year={2009}
}
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… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS
29 Citations
1 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…