Login / Signup
Symbolic bounds analysis of pointers, array indices, and accessed memory regions.
Radu Rugina
Martin C. Rinard
Published in:
ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
</>
upper bound
data analysis
lower and upper bounds
learning algorithm
image analysis