Μια γλώσσα προγραμματισμού που εκφράζει τις πράξεις και τις διευθύνσεις σε σύμβολα βολικό για τον άνθρωπο και όχι σε γλώσσα μηχανής. Παραδείγματα είναι η γλώσσα assembly, γλώσσας υψηλής τάξης.