Controlli tipici di questa fase sono il type checking, ovvero il controllo di tipo, controllare che gli identificatori siano stati dichiarati prima di essere usati e così via.
kontrˈɔllɪ tˈipitʃɪ dɪ kwˌesta fˈaze sˌono il tˈipe kˈekːiŋɡ, ovvˈero il kontrˈɔllo dɪ tˈipo, kontrollˈare ke ʎɪ identifikatˈorɪ sˈiːano stˈatɪ dikjaɾˈatɪ prˈima dɪ ˈɛssere ʊzˈatɪ e kozˈi vˈia.