Strukturerad programmering
Idén att all programlogik kan byggas av tre konstruktioner — sekvens, selektion och iteration — och att goto därför är onödigt. Dijkstras brev "Go To Statement Considered Harmful" (1968) blev slagordet.
Böhm och Jacopini hade redan 1966 bevisat att de tre konstruktionerna räcker för vilken beräkning som helst. Argumentet var praktiskt snarare än teoretiskt: med godtyckliga hopp går det inte att resonera om vad som är sant vid en viss punkt i koden, eftersom man kan ha kommit dit från var som helst. Debatten var infekterad i ett decennium — Knuth skrev 1974 den nyanserade "Structured Programming with go to Statements" — men avgjordes av att språken helt enkelt slutade erbjuda alternativet. Idag är detta så självklart att begreppet knappt används, men resterna finns kvar: break, continue, tidiga return och goto cleanup i C-kod är alla kontrollerade hopp.