Source : Free On-Line Dictionary of Computing

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