single static assignment


single static assignment

(compiler)(Also known as SSA form) A special form of codewhere each variable has only one single definition in theprogram code. "Static" comes from the fact that the definitionsite may be in a loop, thus dynamically executed severaltimes.

SSA form is used for program optimization or static analysisand optimisation.