Verified Compilation and Optimization of Floating-Point Programs in CakeML
Paper i proceeding, 2022
compiler optimization
compiler verification
floating-point arithmetic
Författare
Heiko Becker
Max-Planck-Gesellschaft
Robert Rabe
Technische Universität München
Eva Darulova
Uppsala universitet
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Zachary Tatlock
University of Washington
R. Kumar
DeepMind
Yong Kiam Tan
Carnegie Mellon University (CMU)
Anthony C. J. Fox
ARM Limited
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 222 19783959772259 (ISBN)
Berlin, Germany,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.4230/LIPIcs.ECOOP.2022.1