Un langage de programmation qui nécessite peu de connaissances de l'ordinateur sur lequel un programme est exécuté, peut être traduit en plusieurs langues machine, permet de nommage symbolique des opérations et des adresses, fournit des fonctionnalités conçues pour faciliter l'expression des structures de données et la logique du programme et se traduit généralement par plusieurs instructions de machine pour chaque instruction de programme. Ada, COBOL, FORTRAN, ALGOL, on peut citer PASCAL.