What is Structured program theorem?
The '''structured program theorem''' is a [[theorem]] in [[programming language|programming]] and [[computer science]]. A computer program can be split into pieces of [[source code|code]] that do a certain [[task]]. According to the structured program theorem, these smaller tasks can be combined in only three ways to get any larger task done. A program gets a large task done by splitting it into many smaller tasks that the computer can do easily. These smaller tasks are called ''subprograms'' in computer science. According to the structured program theorem, the three ways subprograms can be combined are: # ''In sequence.'' Executing (running) one subprogram, and then executing another subprogram. # ''By selection.'' Executing a subprogram based on a certain condition. # ''In repetition.'' Executing the same subprogram over and over again. The theorem was first published in 1966 by [[Corrado Böhm]] and [[Guiseppe Jacopini]]. It comes from the 1946 description of the [[von Neumann architecture]] and the [[normal form theorem]] developed by [[Stephen Kleene]]. {{tech-stub}} [[Category:Computer programming]] [[Category:Theoretical computer science]] [[Category:Mathematical theorems]]