Module 15: Reaching Definition
  Lecture 30: Analysis
 


Elimination of Induction Variable

  • A variable X is called induction variable of a loop if in every iteration value of X is changed by a constant value.
  • Basic induction variables: as defined i=i ± c
  • Secondary induction variable: a basic function of basic induction variable