Media type: E-Article Title: Programming Languages and Systems: Live Heap Space Bounds for Real-Time Systems Contributor: Kero, Martin; Pietrzak, Paweł; Nordlander, Johan imprint: Springer Berlin Heidelberg, 2010 Published in: Programming Languages and Systems Language: Not determined DOI: 10.1007/978-3-642-17164-2_20 ISSN: 0302-9743; 1611-3349 Origination: Footnote: