Static single assignment form

(souvent abrégée en SSA) Représentation intermédiaire du code source d'un programme qui oblige chaque variable à n'être affectée qu'une fois au cours de la compilation.

Développée par des chercheurs d'IBM (Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, et F. Kenneth Zadeck), la représentation SSA permet d'optimiser le programme.

Elle est utilisée par des langages comme le C ou le Fortran.