DOE OSTI · 1351612
Shadow Value Analysis Library
Abstract
The library instruments existing programs to simulate execution with alternative real number implementations, with the goal of providing insights about the floating-point behavior of the program.
Keep this discovery
Explore connections, maps & timelines
Lam, Michael O.. 2016-07-25. Shadow Value Analysis Library. https://www.osti.gov/biblio/1351612
Cite the original work for its findings. Save a collection to share your selection of sources.