Teorema del programa estructurado
Structured program theorem
- Fecha
- 1966 · fiabilidad alta
- Lugar
- Roma, Lacio, Italia
- Autoría
- Corrado Böhm
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema que demuestra que cualquier función computable puede expresarse mediante un diagrama de flujo que combina sólo tres estructuras de control (secuencia, selección e iteración), sentando las bases de la programación estructurada; formulado por Corrado Böhm y Giuseppe Jacopini.
A qué dio paso
- fundamento teórico del paradigma de la programación estructurada
- influencia directa en el debate sobre la eliminación del «goto» (Dijkstra, 1968)
- adopción de bucles y condicionales estructurados en los lenguajes de programación modernos