SSA is a program representation which is easy for compilers to analyze and optimize. See https://en.wikipedia.org/wiki/Static_single_assignment_form for more.
https://en.wikipedia.org/wiki/Static_single_assignment_form