Постоје три начина извршавања програмских језика високог нивоа. Према начину извршавања који је претежно у употреби, ови језици могу да се сврстају у три групе:
;* Интерпретирани ({{јез-ен|Interpreted}}): [[Интерпретиран језик]] се чита, а потом директно извршава. Програм назван [[Интерпретатор (рачунарство)|интерпретатор]] врши ово извршавање. У овакве језике се обично убрајају: [[Пајтон (програмски језик)|Пајтон]], [[Руби (програмски језик)|Руби]], [[Перл (програмски језик)|Перл]], [[Бејсик]], ...
;* Компилирани ({{јез-ен|Compiled}}): [[Компилиран језик]] се трансформише у извршни облик пре него што се покрене. Програм који то обавља зове се [[компилатор]] (програмски преводилац). Постоје две врсте компилације:
*:; Стварање машинског кода ({{јез-ен|Machine code generation}}): Неки компилатори претварају [[изворни код]] директно у [[Машински језик|машински код]]. Ово је првобитни начин компилације, а језици чији се код директно и потпуно трансформише у машински код, могли би се назвати „прави“ компилирани језици. Пример оваквих језика су: [[C (програмски језик)|ЦC]], [[Ада (програмски језик)|Ада]], [[Модула-2]], [[Фортран|FORTRAN]], ...
*:; Стварање међукода ({{јез-ен|Intermediate representations}}): Када се изворни код претвори у међукод, у том облику може бити оптимизован или сачуван за касније извршење без потребе да се поново учитава изворна датотека. Ако се међукод чува у датотеци, он се често налази у облику [[бајт-код]]. Међукод затим мора да се интерпретира или да се даље компилира да би се избршиоизвршио. [[Виртуелна машина]] тада извршава бајт-код директно или га трансформише у машински код. Пример: [[Јава (програмски језик)|Јава]], Icon, [[R (програмски језик)|R]]...
;* Преведени ({{јез-ен|Translated}}): Код написан у језику високог нивоа може се превести у језик нижег ниво за који постоје већ развијени компилатори. [[C (програмски језик)|Програмски језик СC]] је типичан избор циљног језика за такве преводиоце.
