La programación estructurada surgió en los años 1960 y se basa en el uso exclusivo de tres estructuras de control (secuencia, selección e iteración) para mejorar la claridad, calidad y tiempo de desarrollo de los programas. El teorema de Bohm-Jacopini demostró que estas tres estructuras son suficientes para expresar cualquier algoritmo computable.