带有块参数的 SSA 表单的名称

现在大多数命令式语言的优化编译器都使用静态单赋值形式，其中每个变量只在一个地方赋值。

传统上，SSA 使用 phi 节点来协调这与可以在循环中重复分配变量的要求。然而，最近已经做了一些工作，而不是允许基本块有参数。它们在表达能力上形式上是等价的；块参数使某些事情比 phi 节点更容易一些，但代价是让其他事情变得更困难一些。

除了使用块参数代替 phi 节点之外，什么是静态单赋值，称为？它仍然被称为 SSA，还是严格地暗示使用 phi 节点？如果是后者，块参数变体的适当名称是什么？