Single Assignment

When a variable is assigned once, at most.

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

See SingleAssignmentLanguage and StaticSingleAssignmentForm for more info.