A non-local method for robustness analysis of floating point programs

MaRDI QIDQ5858725zbMATH OpenFDO

Authors Ivan Gazeau, Catuscia Palamidessi, Dale Miller

Publication date 14 April 2021

Full work available at URL https://arxiv.org/abs/1202.0693, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.5

zbMATH Keywords

floating-point arithmeticprogram analysisrobustness to errors

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Continuity analysis of programs
• scientific article; zbMATH DE number 1948393
• Robust non-termination analysis of numerical software
• Numerical Software with Result Verification
• Stabilizing Floating-Point Programs Using Provenance Analysis

Cited in

(5)

• New tools for localization of limit cycles in recursive block floating point systems
• Stabilizing Floating-Point Programs Using Provenance Analysis
• Preserving differential privacy under finite-precision semantics
• Robust non-termination analysis of numerical software
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: A non-local method for robustness analysis of floating point programs

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