Za spremenljivko to pomeni preverjanje združljivosti vrste operandov z vrsto rezultata ter vpis v zbirko podatkov - t. i. tabelo simbolov. Formalni opis semantike programskih jezikov se opravi z atributno gramatiko [5] oziroma sintaktično usmerjeno definicijo. Zadnji korak postopka prevajanja je generiranje kode, katere izhod je ustrezen prevod.