Verified compilation of CakeML to multiple machine-code targets
Paper in proceeding, 2017
Verified assembly
ML
Compiler verification
Author
Anthony C. J. Fox
University of Cambridge
Magnus Myreen
Software Technology (Chalmers)
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)
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
DOI
10.1145/3018610.3018621
ISBN
978-1-4503-4705-1