Do you have space for dessert? a verified space cost semantics for CakeML programs
Journal article, 2020
compiler verification
cost semantics
garbage collection
space usage
Author
Alejandro Gómez Londoño
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Johannes Åman Pohjala
University of New South Wales (UNSW)
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Hira Taqdees Syeda
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Yong Kiam Tan
Carnegie Mellon University (CMU)
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 4 OOPSLA 204Subject Categories
Language Technology (Computational Linguistics)
Computer Science
Computer Systems
DOI
10.1145/3428272