Static Single Assignment (SSA) is a [[Compiler Optimization]] where mutable state in converted into a series of immutable [[Name Binding|bindings]].