静的単一代入
配列の要素レベルに対する SSA としては、1998年に Kathleen Knobe と Vivek Sarkar による Array SSAや2006年に Silvius Rus, Guobin He, Lawrence Rauchwerger による Region Array SSA などが提案されている。