Do you have space for dessert? a verified space cost semantics for CakeML programs
Artikel i vetenskaplig tidskrift, 2020
compiler verification
cost semantics
garbage collection
space usage
Författare
Alejandro Gómez Londoño
Chalmers, Data- och informationsteknik, Formella metoder
Johannes Åman Pohjala
University of New South Wales (UNSW)
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Hira Taqdees Syeda
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Yong Kiam Tan
Carnegie Mellon University (CMU)
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 4 OOPSLA 204Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3428272