A verified generational garbage collector for CakeML
Paper in proceeding, 2017
Author
Adam Sandberg Eriksson
Functional Programming
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Johannes Åman Pohjala
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Formal Methods
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-461Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-66107-0_28