Μια γλώσσα προγραμματισμού που απαιτεί λίγη γνώση του υπολογιστή στον οποίο θα εκτελεστεί ένα πρόγραμμα, μπορεί να μεταφραστεί σε αρκετές διαφορετικές γλώσσες μηχανής, επιτρέπει την συμβολική ονομασία πράξεις και τις διευθύνσεις, παρέχει δυνατότητες που έχει σχεδιαστεί για να διευκολύνει την έκφραση των δομών δεδομένων και πρόγραμμα λογική και συνήθως έχει ως αποτέλεσμα αρκετές οδηγίες μηχάνημα για κάθε πρόγραμμα δήλωση. Παραδείγματα περιλαμβάνουν Ada, COBOL, FORTRAN, ο ΑΛΓΚΌΛ, PASCAL.