Un linguaggio di programmazione che richiede poca conoscenza del computer in cui verrà eseguito un programma, può essere tradotto in diverse lingue macchina, permette di simbolica denominazione delle operazioni e indirizzi, fornisce funzionalità progettate per facilitare l'espressione di strutture di dati e la logica del programma e solitamente si traduce in più istruzioni di macchina per ogni istruzione del programma. Esempi di Ada, FORTRAN, COBOL, ALGOL, PASCAL.