An Efficient Method of Computing Static Single Assignment Form”, (1989)

by Ferrante Cytron, Wegman Rosen, Zadeck
Venue:16th ACM Symposium Principles oj Programming Languages,