SSA, hoặc dạng gán duy nhất tĩnh, là một thuộc tính của một đại diện trung gian (IR) đòi hỏi mỗi biến phải được gán chính xác một lần. Ngoài ra, mỗi biến trong SSA phải được xác định trước khi nó được sử dụng.