scientific article; zbMATH DE number 2087546

zbMATH Open1077.68619MaRDI QIDQ4738355FDOQ4738355

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

Title of this publication is not available (Why is that?)

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

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)

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)