La programación estructurada es un paradigma que utiliza solo tres estructuras de control (secuencia, selección e iteración) para mejorar la calidad y mantenibilidad del código. Se basa en el teorema de Böhm-Jacopini que demuestra que cualquier programa se puede expresar con estas tres estructuras. Ofrece ventajas como un código más fácil de entender y depurar. Lenguajes como ALGOL, Pascal y PL/I fueron diseñados para fomentar este estilo de programación.