| 
|
QuoteRef: nguyTV5_2005
Topic:
arrays
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
range checking
Reference
Nguyen, T.V.N., Irigoin, F., "Efficient and effective array bound checking", ACM Transactions on Programming Languages and Systems, 27, 3, May 2005, pp. 527-570. Google
abstract ;;Quote: efficient array bound checking across procedure calls; reports name and dimension of erroneous array; uses source-to-source Fortran compiler and convex array regions
Topic: arrays (58 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: range checking (20 items)