single assignment

If a variable is only assigned a value once then an instance

of that variable is thereafter semantically equivalent to the

value. Thus a single assignment language is a functionallanguage.

See also zero assignment.