Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)Open Website

Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox

2022 (modified: 30 Dec 2022)Dagstuhl Artifacts Ser. 2022Readers: Everyone
0 Replies