scientific article; zbMATH DE number 2087546

MaRDI QIDQ4738355zbMATH OpenFDO

Authors Matthieu Martel

Publication date 11 August 2004

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

zbMATH Keywords

Abstract InterpretationNumerical PrecisionFloating-point ArithmeticIEEE Standard 754

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
• scientific article; zbMATH DE number 2087547
• Static analysis of finite precision computations

Cited in

(6)

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

This page was built for publication:

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