Un llenguatge de programació que expressa les operacions i les adreces en símbols convenients per als éssers humans més que en llenguatge de màquina. Exemples són llenguatge assemblador, llenguatge d'alt ordre.