Word:

free variable

1.free variable - 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.free variable - In logic, a variable which is not quantified (see quantifier).
Browse
Free ships
Free silver
Free socage
free software
Free Software Foundation
Free Soil Party
free spirit
Free State
Free States
Free stuff
free thought
free throw
free throw lane
free time
free trade
free trader
-- free variable --
free verse
free weight
Free will
Free World
free zone
free-and-easy
free-associate
free-base
Free-borough men
free-burning
Free-denizen
free-enterprise
free-for-all
Free-hand
Free-hand drawing
Free-handed
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy