Še preden prevajalnik zgenerira kodo, je treba opraviti semantično analizo, ki določi ter preveri pomen posameznih simbolov. 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.