The Free On-line Dictionary of Computing (30 December 2018):

single assignment

    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)