SSAとはStatic Single Assignment formのこと．大量の中間変数とパス依存性を表現する関数φを導入することで，ある変数への代入が2回行われることがないようにする，プログラム変換の一種．データフロー解析等の形式化にとても役立つので中間言語として最近人気である．
ふとGoogle日本で「SSA optimization」を全言語検索してトップに出てきた，sassaとかいう東工大の人の文書を読んでみたら，なかなか分かりやすかった．変わった名前だ，外国人研究者かな... って佐々政孝先生かよ！ そういう発音だったとは露知らず．
単なる独りサプライズでした（ぇ
