SSA Form

• A program is in SSA form iff every USE of a variable is reached by no more than one DEF.

Notes: