@article{DBLP:journals/toplas/RuginaR05,
author = {Radu Rugina and
Martin C. Rinard},
title = {Symbolic bounds analysis of pointers, array indices, and
accessed memory regions},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
year = {2005},
pages = {185-235},
ee = {http://doi.acm.org/10.1145/1057387.1057388},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-05-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
