Static single-assignment form
In compiler design, static single assignment form is a property of an intermediate representation that requires each variable to be assigned exactly once and defined before it is used. Wikipedia