A Step-Function Abstract Domain for Granular Floating-Point Error Analysis. - Anthony Dario; Samuel D. Pollard (NSAD@SAS, 2024)