Gre za široko razširjen, standardiziran jezik, ki ga podpirajo številni generatorji sintaktične analize.
Š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.