Ett programmeringsspråk som kräver lite kunskap om datorn som ett program ska köras, översättas till flera olika maskin språk, gör symboliska namn och adresser, innehåller funktioner för att underlätta uttryck för datastrukturer och programmet logik, och vanligen resulterar i flera maskininstruktioner för varje program. Exempel Ada, COBOL, FORTRAN, ALGOL, PASCAL.