Static analyses of the precision of floating-point operations

DOI10.1007/3-540-47764-0_14MaRDI QIDQ4778705zbMATH OpenFDO

Authors Éric Goubault

Publication date 19 November 2002

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/2126/21260234

Mathematics Subject Classification ID

Roundoff error (65G50) Theory of software (68N99) Data structures (68P05)

Recommendations

• Asserting the precision of floating-point computations: A simple abstract interpreter
• Numerical Software with Result Verification
• Static analysis of finite precision computations
• Static Analysis of Numerical Algorithms
• Programming Languages and Systems

Cited in

(13)

• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Identifying volatile numeric expressions in numeric computing applications
• Exploiting binary floating-point representations for constraint propagation
• Stabilizing Floating-Point Programs Using Provenance Analysis
• Static analysis of finite precision computations
• Asserting the precision of floating-point computations: A simple abstract interpreter
• Deciding floating-point logic with abstract conflict driven clause learning
• Checking compatibility of bit sizes in floating point comparison operations
• Numerical Software with Result Verification
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Why does Astrée scale up?
• Termination of floating-point computations
• Semantics of roundoff error propagation in finite precision calculations

Describes a project that uses

Uses Software

• mctoolbox

This page was built for publication: Static analyses of the precision of floating-point operations

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