single assignment

from The Free On-line Dictionary of Computing (8 July 2008)

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}.

   (2003-12-22)