Computation of Aliases and Support Sets.

Anne Neirynck, Prakash Panangaden, Alan J. Demers

Browse the full POPL paper archive.