single assignment

(programming)   A property of variables in a functional language. If a variable is only assigned a value once then an instance of that variable is thereafter semantically equivalent to the value. SISAL is an example of a language with this property.

See also zero assignment.

Last updated: 2003-12-22