Journal of Electronic Testing vol:26 issue:2 pages:279-292
The application of loop and data transformations
to array and loop intensive programs is crucial to
obtain a good performance.
Designers often apply these transformations manually
For the class of static affine programs, automatic methods
exist for proving the correctness of these transformations.
Realistic multimedia systems, however, often contain constructs
that fall outside of this class. We present an extension
of a widening based approach to handle the most relevant of these constructs,
viz. accesses to array slices, data dependent accesses
and data dependent assignments,
and report on some experiments with non-trivial applications.