'''Zmienna''' – konstrukcja [[programowanie|programistyczna]] posiadająca trzy podstawowe atrybuty: symboliczną [[Nazwa własna|nazwę]], miejsce przechowywania i wartość; pozwalająca w [[Kod źródłowy|kodzie źródłowym]] odwoływać się przy pomocy nazwy do wartości lub miejsca przechowywania. Nazwa służy do identyfikowania zmiennej w związku z tym często nazywana jest [[Identyfikator (programowanie)|identyfikatorem]]. Miejsce przechowywania przeważnie znajduje się w [[Pamięć operacyjna|pamięci]] komputera i określane jest przez [[Adres pamięci|adres]] i długość danych. Wartość to zawartość miejsca przechowywania. Zmienna zazwyczaj posiada również czwarty atrybut: typ, określający rodzaj danych przechowywanych w zmiennej i co za tym idzie sposób reprezentacji wartości w miejscu przechowywania. W programie wartość zmiennej może być odczytywana lub [[Przypisanie|zastępowana nową wartością]], tak więc wartość zmiennej może zmieniać się w trakcie wykonywania programu, natomiast dwa pierwsze atrybuty (nazwa i miejsce przechowywania) nie zmieniają się w trakcie istnienia zmiennej{{odn|Ben-Ari|1996}}. W zależności od rodzaju języka typ może być stały lub zmienny. Konstrukcją podobną lecz nie pozwalającą na modyfikowanie wartości jest [[stała (informatyka)|stała]].
Inaczej wygląda zmienna w [[programowanie funkcyjne|programowaniu funkcyjnym]] (gdzie idea zmiennej jest zbliżona do [[zmienna (matematyka)|zmiennej matematycznej]]). Podczas wchodzenia obliczeń do [[kontekst]]u, w którym zmienna jest związana, jest jej nadawana wartość, która nie zmienia się, aż do opuszczenia kontekstu. Jednak przy ponownym wejściu w ten kontekst, zmiennej może być przypisana inna wartość niż poprzednio.
[[Programowanie imperatywne]] polega w dużej mierze na modyfikowaniu wartości zmiennych na podstawie ich wcześniejszych wartości.
