The structured program theorem is a result in programming language theory that was first formally proven in 1966 by Corrado Böhm and Guiseppe Jacopini.
The structured program theorem is a result in programming language theory. This programming language theory was first formally proven in 1966 by Corrado Böhm. This programming language theory was first formally proven in 1966 by Guiseppe Jacopini.