Stabilizing Floating-Point Programs Using Provenance Analysis

DOI10.1007/978-3-319-52234-0_13MaRDI QIDQ2961567zbMATH OpenOpenAlexFDO

Authors Yijia Gu, Thomas Wahl

Publication date 21 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52234-0_13

Mathematics Subject Classification ID

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

Recommendations

• Multi-prover verification of floating-point programs
• Numerical Software with Result Verification
• Automating the verification of floating-point programs
• A non-local method for robustness analysis of floating point programs
• Formal Methods for Hardware Verification
• scientific article; zbMATH DE number 1832227
• Verified compilation of floating-point computations
• Eliminating unstable tests in floating-point programs

Cites work

• scientific article; zbMATH DE number 42384 (Why is no real title available?)
• scientific article; zbMATH DE number 1832227 (Why is no real title available?)
• An Introduction to Affine Arithmetic
• Numerical Software with Result Verification
• Semantics of roundoff error propagation in finite precision calculations
• Static analysis of finite precision computations
• Systematic design of program transformation frameworks by abstract interpretation
• The octagon abstract domain

Cited in

(4)

• Eliminating unstable tests in floating-point programs
• Identifying volatile numeric expressions in numeric computing applications
• A non-local method for robustness analysis of floating point programs
• Programming Languages and Systems

Describes a project that uses

Uses Software

• gmp

This page was built for publication: Stabilizing Floating-Point Programs Using Provenance Analysis

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