(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)