An efficient method of computing static single assignment form (1989)

by R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadek
Venue:In Proceedings of the Sixteenth Annual ACM Symposium on the Principles of Programming Languages