Uma linguagem de programação que requer pouco conhecimento do computador no qual será executado um programa, pode ser traduzido em várias línguas diferentes da máquina, permite a nomeação simbólica das operações e endereços, fornece recursos que visam facilitar a expressão de estruturas de dados e lógica de programação e geralmente resulta em várias instruções de máquina para cada instrução do programa. Exemplos incluem Ada, COBOL, FORTRAN, ALGOL, PASCAL.