Static Single Assignment Form.

An encyclopedia entry for "Static Single Assignment Form" (SSA form or SSA) is presented. It is an intermediate representation (IR) in which every variable is assigned exactly once. Existing variables in the original IR are divided into versions so that every definition gets its own version. In SSA form, use-definition chains are explicit and contains one element.