William Landi, Barbara G. Ryder, Sean Zhang. Interprocedural Side Effect Analysis With Pointer Aliasing. In PLDI. pages 56-67, 1993.
@inproceedings{LandiRZ93,
title = {Interprocedural Side Effect Analysis With Pointer Aliasing},
author = {William Landi and Barbara G. Ryder and Sean Zhang},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/LandiRZ93},
cites = {0},
citedby = {0},
pages = {56-67},
booktitle = {PLDI},
}