Slide 1 Induction Variables Region-Based Analysis Meet and Closure of Transfer Functions Affine Functions of Reference Variables Jeffrey D. Ullman Stanford University 1 2…