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

floating-point exceptionssymbolic execution

Mathematics Subject Classification ID

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

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)

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

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)