next up previous
Next: Higher-order Induction Variable Up: Region-Based Analysis Previous: Phase 2: Symbolic

Cloning.

We employ selective procedure cloning based on the values in the map. Currently, the filter function eliminates from the map relations on variables that have no upwards-exposed reads in the called procedure; this significantly reduces the amount of replication in the analysis.



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