Un limbaj de asamblare este un limbaj de programare a calculatoarelor care, în locul codului mașină, folosește o desemnare simbolică a elementelor programului, relativ ușor de citit și interpretat de către om. Exemplu: limbajul numit Assembler de la compania IBM.

Fiecare tip de procesor deține propriul său limbaj numit "codul mașină", care reprezintă modul binar de codificare a instrucțiunilor și datelor în memorie, în forma direct executabilă. Instrucțiunile pot fi în general operații elementare (aritmetice, logice, transfer de date) sau și operații de comandă și control a procesorului. Codul mașină este, ca orice cod, format mai ales din cifre, fiind greu de reținut pentru un programator. De exemplu, un calculator ar putea folosi pentru instrucțiunile sale de adunare și scădere codurile mașină 5B și 5C. Însă, în limbajul de asamblare, aceste două operații ar putea fi simbolizate prin ADD și SUB, care sunt mult mai ușor de reținut și folosit.

Pentru a putea fi interpretate de procesor, programul scris de om ("codul sursă", scris de exemplu în limbaj de asamblare) trebuie întâi redus prin compilare (sau asamblare sau interpretare) la "codul obiect" (în cod mașină), în acest scop fiind folosite "compilatoarele", "asambloarele" sau "interpretorii".