Labels sind in Programmiersprachen Bezeichner die als Sprungziel fungieren. Diese wurden vor allem in "niedrigen" Programmiersprachen der ersten und zweiten Generation oder in Maschinensprache (Assembler) eingesetzt.  Ausgangspunkt waren Sprungbefehle (goto Anweisungen). Höher strukturierte Sprachen  verwenden keine Labels mehr, da Sprünge als unsaubere Programmierung gelten. Sprünge wurden durch Kontrollstrukturen (Unterprogramme, Funktionen, Iterationen, Inkludieren von Programmen, Objektoreintierte Programmierung (OOP) usw.) ersetzt.