Interprocedural compatibility analysis for static object preallocation. - Ovidiu Gheorghioiu; Alexandru Salcianu; Martin C. Rinard (POPL, 2003)