Je vous recommande fortement la lecture de l'article "A Correspondence between Continuation Passing Style and Static Single Assignment Form" qui explique la correspondance entre la forme CPS et SSA.
Marc
http://dl.acm.org/citation.cfm?id=202532