Egy programozási nyelv, amely szükséges ismeretek hiánya a számítógép, amelyen a program fog futni, több különböző gépi nyelvre lefordítva, lehetővé teszi a szimbolikus elnevezési műveletek és címeket, funkciók célja, hogy megkönnyítse a adat szerkezetek és a program logikát biztosít, és általában eredménye több gép utasítást minden program nyilatkozatot. Példák, Ada, COBOL, FORTRAN, ALGOL, PASCAL.