BibTeX
@article{DBLP:journals/toplas/RyderLSZA01,
author = {Barbara G. Ryder and
William Landi and
Phil Stocks and
Sean Zhang and
Rita Altucher},
title = {A schema for interprocedural modification side-effect analysis
with pointer aliasing},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {23},
number = {2},
year = {2001},
pages = {105-186},
ee = {http://doi.acm.org/10.1145/383043.381532},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-26 by Michael Ley (ley@uni-trier.de)