SSA形式란?

えすえすえーけいしき

各変数への代入がプログラム中でちょうど1回になるよう名前を付け替えた中間表現の形式。合流点ではφ関数で値を選ぶ。定義と使用の関係が明確になり、最適化がしやすい。

일본어 명칭: SSA形式