Uma linguagem de programação que exige pouco conhecimento de 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 de 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.