A verified generational garbage collector for CakeML
Paper i proceeding, 2017
Författare
Adam Sandberg Eriksson
Funktionell programmering
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Johannes Åman Pohjala
Chalmers, Data- och informationsteknik, Formella metoder
Formella metoder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10499 LNCS 444-461Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-319-66107-0_28