Environment (also Symbol table)

A mapping of names to values or types. Used in evaluation and typechecking to carry name bindings. The environment is passed around (propagated) according to the scoping rules of the language, and may use a more complicated data structure to accomodate nested and/or named scopes. In a language with store semantics, the ``value'' will typically be a store location.

[Wikipedia]