Structured program theorem
Teorema del programa estructurado
- Date
- 1966 · confidence high
- Place
- Rome, Lazio, Italy
- Credited to
- Corrado Böhm
- Field
- Knowledge & symbols
What was discovered
A theorem showing that any computable function can be expressed using a flowchart that combines only three control structures (sequence, selection and iteration), laying the foundations of structured programming; formulated by Corrado Böhm and Giuseppe Jacopini.
What it led to
- theoretical foundation of the structured programming paradigm
- direct influence on the debate over eliminating "goto" (Dijkstra, 1968)
- adoption of structured loops and conditionals in modern programming languages