When a variable is assigned once, at most.

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


----
See SingleAssignmentLanguage and StaticSingleAssignmentForm for more info.