Un linguaggio di programmazione che esprime le operazioni e gli indirizzi in simboli conveniente per gli esseri umani piuttosto che in linguaggio macchina. Esempi sono assembly language, linguaggio di alto ordine.