Space overhead bounds for dynamic memory management with partial compaction

Anna Bendersky, Erez Petrank. Space overhead bounds for dynamic memory management with partial compaction. In Thomas Ball, Mooly Sagiv, editors, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. pages 475-486, ACM, 2011. [doi]

Authors

Anna Bendersky

This author has not been identified. Look up 'Anna Bendersky' in Google

Erez Petrank

This author has not been identified. Look up 'Erez Petrank' in Google