Un langage de programmation qui exprime les opérations et les adresses en symboles commodes aux humains plutôt qu'en langage machine. Exemples sont le langage d'assemblage, langage d'ordre élevé.