single assignment definition 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