The verified CakeML compiler backend
Artikel i vetenskaplig tidskrift, 2019
Författare
Yong Kiam Tan
Carnegie Mellon University (CMU)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
R. Kumar
University of New South Wales (UNSW)
Anthony C. J. Fox
University of Cambridge
S. Owens
University Of Kent
M. Norrish
Australian National University
Journal of Functional Programming
0956-7968 (ISSN) 1469-7653 (eISSN)
Vol. 29Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1017/S0956796818000229