scientific article; zbMATH DE number 1832227

MaRDI QIDQ4778705zbMATH OpenFDO

Authors Éric Goubault

Publication date 19 November 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260234

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087547
• Numerical Software with Result Verification
• Static analysis of finite precision computations
• Static Analysis of Numerical Algorithms
• Programming Languages and Systems

Cited in

(13)

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

Describes a project that uses

Uses Software

• mctoolbox

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 Q4778705)