Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.

Rebecca Hasti, Susan Horwitz

Browse the full PLDI paper archive.