Un langage de programmation qui requiert peu de connaissances de l'ordinateur sur lequel un programme s'exécute, peut être traduit en plusieurs langues machine, permet de nommer 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.