An Efficient Method of Computing Static Single Assignment Form.

Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck

Browse the full POPL paper archive.