The a statement is the collection of all names that are visible in the statement. In a static-scoped language, it is the local variables plus all of the visible variables in all of the enclosing scopes. In a dynamic-scoped language, it is the local variables plus all visible variables in all active subprograms. A subprogram is active if its execution has begun but has not yet terminated