Traditional scalar optimizations such as dead code elimination and
constant propagation are not usually applied to array variables, becaues
these optimizations require information about data flow and standard array
dependence analysis gives only information about memory aliasing.
I have developed generalizations of some traditional optimizations for
arrays, based on the dataflow information produced by my
analysis algorithms.
