TY  - RPRT
TI  - A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
AU  - Dario, Anthony
AU  - Pollard, Samuel Douglas
PY  - 2024
DO  - 10.1145/3689609.3689997
UR  - https://www.osti.gov/biblio/2587523
ID  - 2587523
ER  -