Zadeck所开发。SSA等同于一个持续传递式样（CPS，continuation-passing style）的子集（不包含非本地端控制流程。当CPS被使用在IR，前者就不会发生），所以任何最佳化及转换，都会适用于CPS。当我们期待在C或是Fortran的编译器中使用SSA时，CPS已被广泛地使用在函数程式语言的编译器中，像是Scheme、ML及Haskell。
使用SSA的优势.SSA最主要的用途，是借由简化变数的特性，来进行简化及改进编译器最佳化的结果，举例来说：从