William Landi, Barbara G. Ryder, Sean Zhang
Interprocedural Side Effect Analysis With Pointer Aliasing
PLDI, 1993.
@inproceedings{PLDI-1993-LandiRZ, author = "William Landi and Barbara G. Ryder and Sean Zhang", booktitle = "{Proceedings of the 14th Conference on Programming Language Design and Implementation}", doi = "10.1145/155090.155096", editor = "Robert Cartwright", isbn = "0-89791-598-4", pages = "56--67", publisher = "{ACM}", title = "{Interprocedural Side Effect Analysis With Pointer Aliasing}", year = 1993, }