(Chapter (5 Names, Bindings, Type Checking, and Scopes By: Eng.Ismail El-Gayar Submitted To : Prof.Dr. Abd El Baith Mohamed Names Variables Binding Type Checking Type Compatibili…