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. Le-ta je lahko neka vmesna koda, npr. izvirni program, zapisan v zbirniku, ali pa strojna (binarna) koda, kot ciljni prevod vseh višjih programskih jezikov.