In der Assemblerpraxis macht man den Abstraktionsschritt vom physischen Speicher zur logischen Variablen eher nicht, sondern sieht Labels tatsächlich rein als logische Namen für Speicheradressen und/oder Speicherbereiche an – dort nennt man sie aber auch nicht Variablen. In diesem Fall sagt man auch im keinem mir bekannten Sprachgebrauch, dass man "X einen Wert zuweise" odgl., sondern sagt eher, man lade X mit einem Wert. Die Abstraktion selber ließe sich hier aber natürlich auch anwenden, bloß ist auch dann nicht Variable=Speicherplatz/Speicherbereich, sondern Variable=logischer Speicherplatz, dessen Struktur (zufälligerweise) isomorph mit dem physischen Speicher ist.