Programazio egituratua programazio-paradigma bat da, eta ordenagailu-programa baten argitasuna, kalitatea eta garapen-denbora hobetzea du helburu, azpiprogramak eta oinarrizko hiru kontrol-egitura soilik erabiliz: sekuentzia, hautaketa (if eta switch) eta iterazioa (for eta while begiztak); era berean, baldintzarik gabeko transferentzia (GOTO) erabiltzea alferrikakotzat eta kaltegarritzat jotzen da; instrukzio horrek espageti kodea sortzen du azkenean, eta kode hori jarraitzea eta mantentzea askoz ere zailagoa da; gainera, programazio-akats ugari eragiten ditu.
1960ko hamarkadan sortu zen, batez ere Böhm eta Jacopini-ren lanetik,[1] 1968ko idazki ezagun bat: «GOTO sententzia, kaltegarritzat jotzen da», Edsger Dijkstra.[2] Haren postulatuak indartu egingo lirateke, maila teorikoan, programa egituratuaren teoremaren bidez, eta maila praktikoan, ALGOL bezalako lengoaiak agertzeari esker, kontrol-egitura sendo eta ondo trebatuekin.[3]