next up previous
Next: Dependence and Array Up: Region-Based Analysis Previous: Region-Based Analysis

Transfer Functions.

The side-effect transfer function of a region R on a particular array is represented as the 4-tuple

where the elements are the sets informally defined as described above. The following operations are defined on tuples:

Saman Amarasinghe
Mon Oct 2 11:00:22 PDT 1995