Un lenguaje de programación que requiere poco conocimiento de la computadora en que se ejecutará un programa, puede traducirse en varios idiomas de la máquina, permite nombres simbólicos de las operaciones y direcciones, proporciona características diseñadas para facilitar la expresión de las estructuras de datos y la lógica del programa y suele ser de varias instrucciones de máquina de cada instrucción del programa. Ejemplos de Ada, COBOL, FORTRAN, ALGOL, PASCAL.