📝CPS is single assignment (SSA)

source

Appel₁₉₉₂

In CPS, as in SSA, all variables are bound exactly once. This allows for better control flow analysis.

SSA relies on the φ-operator to join variables from multiple control path, and CPS relies on function calls instead.