La programación estructurada es un paradigma de programación que mejora la calidad y desarrollo de programas utilizando solo tres estructuras: secuencia, selección e iteración. Esto hace que los programas sean más fáciles de entender, depurar y mantener. La base teórica es el teorema del programa estructurado, el cual establece que estas tres estructuras son suficientes para expresar cualquier función computable. Algunos lenguajes iniciales que apoyaban este paradigma fueron ALGOL, Pascal y PL/I.