Et programmeringsspråk som krever lite kunnskap om datamaskinen som kjører et program, kan oversettes til flere ulike maskin språk, tillater symbolsk navngiving av operasjoner og adresser, inneholder funksjoner som er utformet for å lette uttrykk for datastrukturer og programmet logikk og vanligvis resulterer i flere maskininstruksjoner for hver program-setningen. Eksempler Ada, COBOL, FORTRAN, ALGOL, PASCAL.