| |||||||||
Used to describe a programming language or representation in which one can bind a value to a name at most once. Single-assignment languages are often functional languages. Examples include Erlang programming language, Haskell programming language, SISAL, the older SASL, and the static single assignment form compiler representation.