Verifying efficient function calls in CakeML
Journal article, 2017
ML
Compiler verification
Verified optimisations
Author
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
Software Technology, Group A
Yong Kiam Tan
Carnegie Mellon University (CMU)
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 1 ICFP 18Subject Categories
Language Technology (Computational Linguistics)
Embedded Systems
Computer Science
DOI
10.1145/3110262