bound variable

bound var·i·a·ble

B b

Definitions of bound variable words

noun bound variable (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier. 1
noun Definition of bound variable in Technology 1. A bound variable or formal argument in a function definition is replaced by the actual argument when the function is applied. In the lambda abstraction \ x . M x is the bound variable. However, x is a free variable of the term M when M is considered on its own. M is the scope of the binding of x. 2. In logic a bound variable is a quantified variable. See quantifier. 1
noun bound variable (computing) A variable that is associated with a value, and therefore a variable that has an allocated storage location. If the programming language implements a representation of a canonical unknown value, infinity, etc., the value bound to the variable may be one of these. 0

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

This term is known only to a narrow circle of people with rare knowledge. Only 5% of English native speakers know the meaning of this word.

According to our data most of word are more popular. This word is almost not used. It has a much more popular synonym.

This diagram is provided by Google Ngram Viewer

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?