Automatic detection of floating-point exceptions

DOI10.1145/2429069.2429133zbMath1301.68087OpenAlexW1966151649MaRDI QIDQ2931838

No author found.

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

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

Related Items (max. 100)

Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ raSAT: an SMT solver for polynomial constraints ⋮ A two-phase approach for conditional floating-point verification ⋮ Deductive verification of floating-point Java programs in KeY ⋮ Identifying volatile numeric expressions in numeric computing applications ⋮ Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions

Uses Software

• GSL

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