Alias property propagation and reuse after variable scope change. - Anca Burlacu-Zane; Andreea Nicolescu; Nicolae Tapus (ICCP, 2011)