Verifying efficient function calls in CakeML
Artikel i vetenskaplig tidskrift, 2017
ML
Compiler verification
Verified optimisations
Författare
S. Owens
University Of Kent
M. Norrish
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Magnus Myreen
Programvaruteknik, Grupp A
Yong Kiam Tan
Carnegie Mellon University (CMU)
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 1 ICFP 18Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Inbäddad systemteknik
Datavetenskap (datalogi)
DOI
10.1145/3110262