Static Single-Assignment Form (SSA Form)

In compiler design, static single-assignment form (SSA) is a property of an Intermediate Representation, which requires that each variable be assigned exactly once, and every variable be defined before it is used.