Programavimo kalba, kuri turi mažai žinių, dėl kurių bus paleisti programą, kompiuteris gali būti išverstas į keletą skirtingų mašina kalbų, leidžia simbolinių pavadinimų operacijas ir adresus, numato priemones, skirtas palengvinti duomenų struktūras ir programos logikos išraiška, ir paprastai sukelia kelių mašinos instrukcijų dėl kiekvieno programos ataskaitoje. Pavyzdžiai Ada, COBOL, FORTRAN, ALGOL, PASCAL.