Programmēšanas valoda, kas prasa maz zināšanu par datoru, kurā programma tiks palaista, var tikt tulkoti mašīnu dažādās valodās, atļauj simbolisku nosaukumu darbības un adreses, nodrošina līdzekļus, kas paredzēti, lai atvieglotu datu struktūras un programmas loģiku izpausme, un parasti izraisa vairāki mašīnu norādījumus katras programmas pārskats. Piemēri, Ada, COBOL, FORTRAN, ALGOL, PASCAL.