1 Induction Variables Region-Based Analysis Meet and Closure of Transfer Functions Affine Functions of Reference Variables.
Region-Based Data Flow Analysis
Induction Variables