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