Definition   A BINDING is the association from a name to an object (value).

Definition   An ENVIRONMENT is a set of bindings.

Definition   PROBLEM DECOMPOSITION is the problem solving strategy of decomposing a problem into a set of sub-problems solving each of the sub-problems and then composing a solution to the original problem from the solution to the sub-problems.

Definition   A VARIABLE is a name (identifier) which represents some concept and which may denote a value.

Definition   A VARIABLE DECLARATION is the introduction of a variable in a program which specifies the type of value the variable can denote.