Semantics of roundoff error propagation in finite precision calculations Export

@article{citeulike:5971536, abstract = {Abstract\ \ We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the correctness of a static analysis which can be straightforwardly derived from it. In our model, every elementary operation introduces a new first order error term, which is later propagated and combined with other error terms, yielding higher order error terms. The semantics is parameterized by the maximal order of error to be examined and verifies whether higher order errors actually are negligible. We consider also coarser semantics computing the contribution, to the final error, of the errors due to some intermediate computations. As a result, we obtain a family of semantics and we show that the less precise ones are abstractions of the more precise ones.}, author = {Martel, Matthieu}, citeulike-article-id = {5971536}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10990-006-8608-2}, citeulike-linkout-1 = {http://www.springerlink.com/content/8748157410qr2140}, citeulike-linkout-2 = {http://portal.acm.org/citation.cfm?id=1145527}, day = {1}, doi = {10.1007/s10990-006-8608-2}, journal = {Higher-Order and Symbolic Computation}, keywords = {error\_analysis, floating\_point}, month = {March}, number = {1}, pages = {7--30}, posted-at = {2009-10-19 16:31:29}, priority = {2}, title = {Semantics of roundoff error propagation in finite precision calculations}, url = {http://dx.doi.org/10.1007/s10990-006-8608-2}, volume = {19}, year = {2006} }

TY - JOUR ID - citeulike:5971536 L3 - citeulike-article-id:5971536 N2 - Abstract  We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the correctness of a static analysis which can be straightforwardly derived from it. In our model, every elementary operation introduces a new first order error term, which is later propagated and combined with other error terms, yielding higher order error terms. The semantics is parameterized by the maximal order of error to be examined and verifies whether higher order errors actually are negligible. We consider also coarser semantics computing the contribution, to the final error, of the errors due to some intermediate computations. As a result, we obtain a family of semantics and we show that the less precise ones are abstractions of the more precise ones. IS - 1 JF - Higher-Order and Symbolic Computation EP - 30 TI - Semantics of roundoff error propagation in finite precision calculations VL - 19 SP - 7 KW - error_analysis KW - floating_point AU - Martel, Matthieu PY - 2006/03/01/ UR - http://dx.doi.org/10.1007/s10990-006-8608-2 ER -