A new verified compiler backend for CakeML
Artikel i vetenskaplig tidskrift, 2016
Författare
Yong Kiam Tan
Institute of High Performance Computing, Singapore
Magnus Myreen
Formella metoder
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-73Ämneskategorier
Systemvetenskap
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/2951913.2951924