Space overhead bounds for dynamic memory management with partial compaction.

Anna Bendersky, Erez Petrank

Browse the full POPL paper archive.