Login / Signup

Symbolic bounds analysis of pointers, array indices, and accessed memory regions.

Radu RuginaMartin C. Rinard
Published in: ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
  • upper bound
  • data analysis
  • lower and upper bounds
  • learning algorithm
  • image analysis