Uma linguagem de programação que expresse operações e endereços em símbolos convenientes aos seres humanos, em vez de em linguagem de máquina. São exemplos de linguagem assembly, linguagem de alta ordem.