(Also known as SSA form) A special form of code where each variable has only one single definition in the progrAM code. "Static" comes from the fact that the definition site may be in a loop, thus dynAMically executed several times. SSA form is used for progrAM optimization or static analysis and optimisation. (2003-04-12)