Skip to main content
CSIRO Logo Data 61 logo

A verified generational garbage collector for CakeML

Authors

Adam Sandberg Ericsson, Magnus Myreen and Johannes Åman Pohjola

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}
  }

Download