• Environments –  Symbol Tables • Scope Checking • Type Checking • Translate program rep. again...