A Step-Function Abstract Domain for Granular Floating-Point Error Analysis

Dario, Anthony; Pollard, Samuel Douglas

doi:10.1145/3689609.3689997

DOE OSTI · 2587523

A Step-Function Abstract Domain for Granular Floating-Point Error Analysis

Dario, Anthony·Pollard, Samuel Douglas

View original source ↗Read source document ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Dario, Anthony, Pollard, Samuel Douglas. 2024-10-01. A Step-Function Abstract Domain for Granular Floating-Point Error Analysis. https://doi.org/10.1145/3689609.3689997

Cite the original work for its findings. Save a collection to share your selection of sources.