Un limbaj de programare care necesită puţine cunoştinţe de calculator pe care va rula un program, poate fi tradus în mai multe limbi diferite maşină, permite denumire simbolică de operaţiuni şi adrese, furnizează caracteristici proiectate pentru a facilita expresia de structuri de date si program de logică, şi, de obicei, rezultate în mai multe instrucţiuni de maşină pentru fiecare declaraţie de program. Exemple includ Ada, COBOL, FORTRAN, ALGOL, PASCAL.