Gianfranco Bilardi, Keshav Pingali. Algorithms for computing the static single assignment form. Journal of the ACM, 50(3):375-425, 2003. [doi]
@article{BilardiP03, title = {Algorithms for computing the static single assignment form}, author = {Gianfranco Bilardi and Keshav Pingali}, year = {2003}, doi = {10.1145/765568.765573}, url = {http://doi.acm.org/10.1145/765568.765573}, researchr = {https://researchr.org/publication/BilardiP03}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {50}, number = {3}, pages = {375-425}, }