A Verified Generational Garbage Collector for CakeML.

Adam Sandberg Ericsson Magnus O. Myreen Johannes Åman Pohjola

Published in: J. Autom. Reason. (2019)

Keyphrases

garbage collection
data structure
pattern recognition
databases
information systems
data analysis
sliding window
load balancing