Stabilizing Floating-Point Programs Using Provenance Analysis

DOI10.1007/978-3-319-52234-0_13zbMath1484.68048OpenAlexW2569947254MaRDI QIDQ2961567

Thomas Wahl, Yijia Gu

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)

Related Items (1)

Identifying volatile numeric expressions in numeric computing applications

Uses Software

• gmp

Cites Work

• Semantics of roundoff error propagation in finite precision calculations
• The octagon abstract domain
• Static Analysis of Finite Precision Computations
• Systematic design of program transformation frameworks by abstract interpretation
• Numerical Software with Result Verification
• An Introduction to Affine Arithmetic
• Unnamed Item
• Unnamed Item

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