free variable

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia

Noun[edit]

free variable (plural free variables)

  1. (programming) A variable that is not bound to a storage location.
  2. (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol).

Antonyms[edit]

Related terms[edit]

Translations[edit]