Skip to main content

A verified generational garbage collector for CakeML

Authors

Adam Sandberg Ericsson, Magnus Myreen and Johannes ├ůman Pohjola

DATA61

Chalmers University of Technology

Abstract

BibTeX Entry

  @article{SandbergEricsson_MA_18,
    publisher        = {Springer},
    doi              = {10.1007/s10817-018-9487-z},
    author           = {Sandberg Ericsson, Adam and Myreen, Magnus and {\AA}man Pohjola, Johannes},
    journal          = {Journal of Automated Reasoning},
    issn             = {01687433},
    month            = nov,
    year             = {2018},
    date             = {2018-11-3},
    title            = {{A} Verified Generational Garbage Collector for {CakeML}},
    pages            = {1-26}
  }

Download

Served by Apache on Linux on seL4.