| 
|
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
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
range checking
Quotation Skeleton
The new algorithm ensures the absence of bound … the calling procedure. … [p. 532] PIPS, a source-to-source Fortran compiler, consists of … array regions, and of program transformations such as … [p. 565] our array bound checkers provide programmers useful … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: arrays (58 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: range checking (20 items)