Verification Toolchain for Floating-Point Programs.

Kellison, Ariel; Appel, Andrew; Bindel, David; Thornquist, Heidi; Hulette, Geoffrey

doi:10.2172/2004015

DOE OSTI · 2004015

Verification Toolchain for Floating-Point Programs.

Kellison, Ariel·Appel, Andrew·Bindel, David·Thornquist, Heidi·Hulette, Geoffrey

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kellison, Ariel, Appel, Andrew, Bindel, David, Thornquist, Heidi, Hulette, Geoffrey. 2022-07-01. Verification Toolchain for Floating-Point Programs.. https://doi.org/10.2172/2004015

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