Yuan Lin, David A. Padua. A Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis. Concurrency - Practice and Experience, 12(2-3):125-135, 2000.
@article{LinP00:1, title = {A Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis}, author = {Yuan Lin and David A. Padua}, year = {2000}, tags = {analysis}, researchr = {https://researchr.org/publication/LinP00%3A1}, cites = {0}, citedby = {0}, journal = {Concurrency - Practice and Experience}, volume = {12}, number = {2-3}, pages = {125-135}, }