scientific article; zbMATH DE number 1832227

zbMATH Open0997.68518MaRDI QIDQ4778705FDOQ4778705

Authors: Éric Goubault 

Publication date: 19 November 2002

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

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Termination of floating-point computations
• 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

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)