Stavek dodelitve je konstrukcija računalniškega jezika, ki veže določeno vrednost na računalniško spremenljivko. Je vseprisotna konstrukcija tako v programskih kot v skriptnih jezikih, ki omogoča, da se podatki začasno shranijo v program za nadaljnjo uporabo. To je pomemben del računalniškega programiranja, saj če podatkov ne bi bilo mogoče začasno shraniti v neki obliki, bi bilo nemogoče, da bi program naredil kaj koristnega.
Vsako vrsto vrednosti je mogoče vezati na spremenljivko z uporabo izjave o dodelitvi, naj bo to zapleten predmet ali preprost tip, kot je celo število ali niz znakov. Vrste vrednosti, ki jih je mogoče vezati, so odvisne od uporabljenega računalniškega jezika, saj nekateri jeziki vsebujejo tipe, ki jih drugim manjkajo. Ne glede na vrednost podatkov, ki je dodeljena, stavek dodelitve deluje vedno na enak način, pri čemer podatke poveže s specifično spremenljivko v strojni kodi. Točno, kako se to zgodi, je lahko odvisno od uporabljenega računalniškega jezika, vendar programerjem nikoli ni treba obravnavati tega postopka v izvorni kodi.
Večina stavkov dodelitve je zapisanih s sintakso preprosto spremenljivka = vrednost. To je najpogostejša sintaksa za dodelitve, čeprav nekateri jeziki dovoljujejo različne sintakse. V jeziku Postscript je na primer vrednost dodeljena spremenljivki z uporabo sintakse /variable value def. Obstaja nekaj drugih jezikov, ki imajo tudi alternativne sintakse, vendar je dodeljevanje vrednosti spremenljivkam z znakom enakosti skoraj univerzalno.
Pisanje stavka dodelitve ne zagotavlja vedno, da bo vrednost pravilno vezana na spremenljivko. Obstaja nekaj računalniških jezikov, v katerih lahko programerji uporabijo posebne ključne besede, da preprečijo prerazporeditev spremenljivke, ko je vezana na vrednost. Uporaba in imena teh ključnih besed se med jeziki razlikujejo, čeprav imajo isto funkcijo. Včasih lahko napake v pomnilniku povzročijo tudi neuspeh stavkov dodelitve. Te se ne zgodijo pogosto, če je program skrbno napisan, vendar so še vedno možne, če programu nepričakovano zmanjka pomnilnika ali naleti na drugo resno težavo.
V nekaterih računalniških jezikih se lahko za druge stvari namesto izjave o dodelitvi uporablja znak enakosti. Najpogostejša nadomestna uporaba znaka za enakost je redefiniranje njegovega delovanja, kar bi lahko povzročilo drastične razlike v mehanizmih običajne izjave o dodelitvi. Možno je na novo definirati druge simbole za obnovitev zmogljivosti izjave o dodelitvi, vendar je to pogosto zelo zapleteno delo. Te prerazporeditve so pri programiranju redko potrebne in se jim je običajno treba izogibati, razen če je nujno potrebno.