Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (original) (raw)
Related papers
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
Lecture Notes in Computer Science
Static Analyses of the Precision of Floating-Point Operations
Lecture Notes in Computer Science, 2001
Algorithm xxx: Encapsulated error, a direct approach to evaluate floating-point accuracy
ACM Transactions on Mathematical Software
Floating-Point Numbers with Error Estimates (revised)
ArXiv, 2012
Revisiting "What Every Computer Scientist Should Know About Floating-point Arithmetic
ArXiv, 2020
Acta Numerica
Floating-point numbers with error estimates
Computer-Aided Design, 1993
Error Analysis of Certain Floating-Point On-Line Algorithms
IEEE Transactions on Computers, 2000
Towards a constraint system for round-off error analysis of floating-point computation
HAL (Le Centre pour la Communication Scientifique Directe), 2018
Analysis of Rounding Methods in Floating-Point Arithmetic
IEEE Transactions on Computers, 2000
A New Floating Point Arithmetic with Error Tracking Capability
2006
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
2001
Precision Arithmetic: A New Floating-Point Arithmetic
2006
Compiler support for floating‐point computation
Software: Practice and Experience, 1988
Representable Correcting Terms for Possibly Underflowing Floating Point Operations
2003
Bounded Floating Point: Identifying and Revealing Floating-Point Error
Advances in Science, Technology and Engineering Systems, 2021
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
Lecture Notes in Computer Science, 2013
1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH), 1975
Handbook of Floating-Point Arithmetic
Springer eBooks, 2018
Behavioral Properties of Floating-Point Programs
An Imprecise but Infinite Fall: The Machine Performance of Floating-Point Arithmetic
IS4SI 2021, 2021
Automatic detection of floating-point exceptions
2013
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
Lecture Notes in Computer Science, 2020
Floating-point on-line arithmetic: Algorithms
1981 IEEE 5th Symposium on Computer Arithmetic (ARITH), 1981
Necessary and sufficient conditions for exact floating point operations
2002
IEEE Transactions on Emerging Topics in Computing, 2023
Weakly Relational Domains for Floating-Point Computation Analysis
Environment Parameters and Basic Functions for Floating-Point Computation
ACM Transactions on Mathematical Software, 1980