Efficiently Computing Static Single Assignment form and the Control Dependence Graph

Michael Burke, Ron Cytron, et al.

PPEALS 1988

Zeev Barzilai, J. Lawrence Carter, et al.

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Dhananjay M. Dhamdhere, Barry K. Rosen, et al.

ACM SIGPLAN Notices

Jong-Deok Choi, Ron Cytron, et al.

POPL 1991