Et programmeringssprog, der kræver lidt kendskab til den computer, der kører et program, kan oversættes til flere forskellige maskine-sprog, giver mulighed for symbolsk navngivning af operationer og adresser, indeholder funktioner designet til at lette udtrykket datastrukturer og program logik, og normalt resulterer i flere maskininstruktioner for hvert program erklæring. Eksempler omfatter Ada, COBOL, FORTRAN, ALGOL, PASCAL.