ForBac: A Static Analysis Approach With Forward and Backward Analysis for Precision in Floating-Point Computations
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Access"
DOI: 10.1109/access.2025.3567762
Abstract: Accuracy in floating-point computations is critical for reliable software, especially in systems where precision impacts safety and performance. Inaccuracies from rounding errors and precision loss can lead to significant issues in applications like scientific computing… read more here.
Keywords: precision; forbac static; floating point; analysis ... See more keywords