Verified compilation of CakeML to multiple machine-code targets
Paper i proceeding, 2017
Verified assembly
ML
Compiler verification
Författare
Anthony C. J. Fox
University of Cambridge
Magnus Myreen
Programvaruteknik
Yong Kiam Tan
Carnegie Mellon University (CMU)
R. Kumar
University of New South Wales (UNSW)
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, {CPP} 2017
125-137
978-1-4503-4705-1 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
DOI
10.1145/3018610.3018621
ISBN
978-1-4503-4705-1