A part within Semantic Analysis that is responsible for linking variable usages to their corresponding value.