Един език за програмиране, който изисква малко познания на компютъра, на който ще тичам програма, могат да бъдат преведени на няколко езика на машина, позволява символично именуване на операциите и адреси, осигурява функции, предназначени да улеснят израз на структури от данни и логиката на програмата, както и обикновено води до няколко машинни инструкции за всяка програма изявление. Примери включват АДС, COBOL, FORTRAN, ALGOL, ПАСКАЛ.