A Verified Generational Garbage Collector for CakeML
Artikel i vetenskaplig tidskrift, 2019
Garbage collection
Formal methods
Compiler verification
Interactive theorem proving
Författare
Adam Sandberg Eriksson
Programvaruteknik, Grupp C1
Magnus Myreen
Programvaruteknik, Grupp A
Johannes Åman Pohjala
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 63 2 463-488Ämneskategorier
Mediateknik
Inbäddad systemteknik
Datavetenskap (datalogi)
DOI
10.1007/s10817-018-9487-z