catflap.org Online Dictionary Query

  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 functional
          language.
       
          See also zero assignment.