Interprocedural compatibility analysis for static object preallocation.

Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard

Browse the full POPL paper archive.