Static single-assignment form

In compilers, static single assignment form, more often abbreviated SSA form or just SSA, is an intermediate representation in which every variable is assigned exactly once.

More needed here describing need for phi functions, the dominance-frontier based algorithm for computing "minimal" SSA, and other things.

This article is a stub. You can help Wikipedia by fixing it.