| 
|
QuoteRef: rugiR3_2005
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
range checking
Reference
Rugina, R., Rinard, M.C., "Symbolic bounds analysis of pointers, array indices, and accessed memory regions", ACM Transactions on Programming Languages and Systems, 27, 2, March 2005, pp. 185-235. Google
abstract ;;Quote: symbolic bounds analysis for static race detection, automatic parallelization, array bounds analysis, size of computed values; determines upper and lower bounds for array indices and pointers
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: range checking (20 items)