A verified generational garbage collector for CakeML
Authors
DATA61
Chalmers University of Technology
UNSW Sydney
Abstract
BibTeX Entry
@article{SandbergEricsson_MA_19, publisher = {Springer}, doi = {https://doi.org/10.1007/s10817-018-9487-z}, month = aug, journal = {Journal of Automated Reasoning}, paperurl = {https://ts.data61.csiro.au/publications/csiro_full_text/SandbergEricsson_MA_19.pdf}, issn = {01687433}, year = {2019}, issue = {2}, volume = {63}, title = {{A} Verified Generational Garbage Collector for {CakeML}}, pages = {463--488}, author = {Sandberg Ericsson, Adam and Myreen, Magnus and {\AA}man Pohjola, Johannes} }