catflap.org Online Dictionary Query |
7 definitions found
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
free variable
1. A variable referred to in a function, which is not an
argument of the function. In lambda-calculus, x is a bound
variable in the term M = \ x . T, and a free variable of T.
We say x is bound in M and free in T. If T contains a subterm
\ x . U then x is rebound in this term. This nested, inner
binding of x is said to "shadow" the outer binding.
Occurrences of x in U are free occurrences of the new x.
Variables bound at the top level of a program are technically
free variables within the terms to which they are bound but
are often treated specially because they can be compiled as
fixed addresses. Similarly, an identifier bound to a
recursive function is also technically a free variable within
its own body but is treated specially.
A closed term is one containing no free variables.
See also closure, lambda lifting, scope.
2. In logic, a variable which is not quantified (see
quantifier).
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
free variable
n.
1 (lb en programming) A variable that is not bind to a storage
location.
2 (lb en 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).
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
free variable
n.
1 (lb en programming) A variable that is not bind to a storage
location.
2 (lb en 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).
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
free variable
n.
1 (lb en programming) A variable that is not bind to a storage
location.
2 (lb en 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).
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
free variable
n.
1 (lb en programming) A variable that is not bind to a storage
location.
2 (lb en 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).
From Finnish Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-fi-ALL-2023-07-27 ]
free variable
Englanti n.
vapaa muuttuja
From English-日本語 (にほんご) FreeDict+WikDict dictionary ver. 2023.05.29 : [ freedict:eng-jpn ]
free variable /fɹˈiː vˈeəɹɪəbəl/
自由変数, 自由変項
variable that is not bound to a storage location
Questions or comments about this site? Contact dictionary@catflap.org
Access Stats