Variablen und Zuweisungen sind abstrakte Konzepte, würde ich sagen. Wenn man einer Variablen einen Wert zuweist, dann wird das physisch meistens schon dazu führen, dass "eine oder mehrere Speicherzellen mit Werten geladen" werden. Beim "int i=5;" vermischt man gerne die Abstraktion und das physische Substrat, weil sie strukturell 1:1 aufeinander abbildbar sind. Bei der harmlosen logischen Zuweisung des Wertes b an die Variable a kann aber im Allgemeinen sehr viel mehr passieren, z.B. wenn a und/oder b Klassenvariablen sind Zuweisungsfunktionen, Kopierkonstruktoren odgl. aufgerufen werden. Wie gesagt, ich kenne keinen Sprachgebrauch, der Variable und physischen Speicher identifizieren würde.