A new verified compiler backend for CakeML
Journal article, 2016
Author
Yong Kiam Tan
Institute of High Performance Computing, Singapore
Magnus Myreen
Formal methods
Ramana Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
University of New South Wales (UNSW)
Anthony C. J. Fox
University of Cambridge
Scott Owens
University Of Kent
Michael Norrish
University of New South Wales (UNSW)
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 51 9 60-73Subject Categories
Information Science
Computer Science
Computer Systems
DOI
10.1145/2951913.2951924