Commit 66e3de7e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent aaf8430a
\section{Related Work}
\label{sec:related}
% TODO note that a bound on the size of the live data
% does not imply a bound on the size of the heap;
% if one wishes to prove that the program can run in a heap of size N
% without failure, then this depends on a concrete GC; cite Hobor?
% https://www.comp.nus.edu.sg/~hobor/Publications/2019/Localize.pdf
There is a rich literature on measuring or controlling the heap space
consumption of programs, via type systems, static and symbolic analyses,
program logics, and so on.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment