Login / Signup
Verified Compilation and Optimization of Floating-Point Programs in CakeML.
Heiko Becker
Robert Rabe
Eva Darulova
Magnus O. Myreen
Zachary Tatlock
Ramana Kumar
Yong Kiam Tan
Anthony C. J. Fox
Published in:
ECOOP (2022)
Keyphrases
</>
floating point
fixed point
square root
floating point arithmetic
optimization process
sparse matrices
interval arithmetic