Efficiently computing static single assignment form and the control dependence graph (1991)

by R CYTRON, J FERRANTE, B K ROSEN, M N WEGMAN, F K ZADECK
Venue:ACM Transactions on Programming Languages and Systems