SingleAssignment

When a variable is assigned once, at most.

Common in FunctionalProgramming, LogicProgramming, DeclarativeProgramming (perhaps RelationalLanguage?)

---

See SingleAssignmentLanguage and StaticSingleAssignmentForm for more info.