Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20230006470

Reflow: From Real Number Specifications to Floating-Point Implementations

Laura Titolo
View original source ↗Export metadata ↓

Abstract

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

Explore related subjects

Floating-pointcode generationverification

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Laura Titolo. Reflow: From Real Number Specifications to Floating-Point Implementations. https://ntrs.nasa.gov/citations/20230006470

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

KEEP EXPLORING

Related reports

NASA NTRSDate not supplied

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗