NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Reflow: From Real Number Specifications to Floating-Point Implementations
Document ID
20230007732
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Mariano Moscato (National Institute of Aerospace Hampton, Virginia, United States)
Marco Feliu (National Institute of Aerospace Hampton, Virginia, United States)
Aaron Dutle (Langley Research Center Hampton, Virginia, United States)
Date Acquired
May 17, 2023
Subject Category
Computer Programming and Software
Meeting Information
Meeting: DOE/NSF Workshop on Correctness in Scientific Computing (CSC@PLDI 2023)
Location: Orlando, FL
Country: US
Start Date: June 17, 2023
Sponsors: Association for Computing Machinery
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
Floating-point
Static analysis
Code Extraction
Verification

Related Records

There are no records associated with this record.
No Preview Available