Automatic detection of floating-point exceptions

DOI10.1145/2429069.2429133MaRDI QIDQ2931838zbMATH OpenOpenAlexFDO

Authors

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2429069.2429133

zbMATH Keywords

symbolic executionfloating-point exceptions

Mathematics Subject Classification ID

Computer aspects of numerical algorithms (65Y99) Error analysis and interval analysis (65G99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Programming Languages and Systems
• A two-phase approach for conditional floating-point verification
• Exception handling approach of floating mathematical functions
• scientific article; zbMATH DE number 2087547
• scientific article; zbMATH DE number 2084728

Cited in

(8)

• Identifying volatile numeric expressions in numeric computing applications
• A two-phase approach for conditional floating-point verification
• Deductive verification of floating-point Java programs in KeY
• Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
• Automatic Generation of Guard-Stable Floating-Point Code
• Exception handling approach of floating mathematical functions
• raSAT: an SMT solver for polynomial constraints
• Correct approximation of IEEE 754 floating-point arithmetic for program verification

Describes a project that uses

Uses Software

• GSL

This page was built for publication: Automatic detection of floating-point exceptions

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