Static analysis of the numerical stability of loops

DOI10.1007/3-540-45789-5_12MaRDI QIDQ4411955zbMATH OpenFDO

Authors Matthieu Martel

Publication date 13 July 2003

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/2477/24770133.htm

zbMATH Keywords

Abstract InterpretationNumerical PrecisionRelational AnalysisSemantics of Floating-point Numbers

Mathematics Subject Classification ID

Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static Analysis of Numerical Algorithms
• Analysis of linear definite iterative loops
• scientific article; zbMATH DE number 3872573
• Stability and conditioning in numerical analysis
• Stability and conditioning in numerical analysis
• Classroom Note:Stability Considerations for Numerical Methods
• Stability analysis of some numerical schemes for ordinary differential equations
• Stability analysis for multistep computational schemes
• On the static analysis of nonlinear feedback loops

Cited in

(5)

• Static Analysis of Numerical Algorithms
• scientific article; zbMATH DE number 1268259 (Why is no real title available?)
• Checking compatibility of bit sizes in floating point comparison operations
• A non-local method for robustness analysis of floating point programs
• Semantics of roundoff error propagation in finite precision calculations

This page was built for publication: Static analysis of the numerical stability of loops

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