Propagation of roundoff errors in finite precision computations: A semantics approach

DOI10.1007/3-540-45927-8_14MaRDI QIDQ4738355zbMATH OpenFDO

Authors Matthieu Martel

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050194.htm

zbMATH Keywords

Abstract InterpretationFloating-point ArithmeticIEEE Standard 754Numerical Precision

Mathematics Subject Classification ID

Roundoff error (65G50) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics of roundoff error propagation in finite precision calculations
• An abstract interpretation framework for the round-off error analysis of floating-point programs
• Numerical Software with Result Verification
• Asserting the precision of floating-point computations: A simple abstract interpreter
• Static analysis of finite precision computations

Cited in

(6)

• Static analysis of finite precision computations
• An abstract interpretation framework for the round-off error analysis of floating-point programs
• Checking compatibility of bit sizes in floating point comparison operations
• Analysis of software patches using numerical abstract interpretation
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Semantics of roundoff error propagation in finite precision calculations

This page was built for publication: Propagation of roundoff errors in finite precision computations: A semantics approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738355)