Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
Detecting Equality of Variables in Programs
POPL, 1988.
@inproceedings{POPL-1988-AlpernWZ,
author = "Bowen Alpern and Mark N. Wegman and F. Kenneth Zadeck",
booktitle = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/73560.73561",
editor = "Jeanne Ferrante and P. Mager",
isbn = "0-89791-252-7",
pages = "1--11",
publisher = "{ACM Press}",
title = "{Detecting Equality of Variables in Programs}",
year = 1988,
}