Automatic detection of floating-point exceptions
From MaRDI portal
Publication:2931838
DOI10.1145/2429069.2429133zbMath1301.68087MaRDI 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
65Y99: Computer aspects of numerical algorithms
65G99: Error analysis and interval analysis
Related Items
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions, 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
Uses Software