English Structured program theorem Cited by user JMP EAX on 22 Jul 2014 The structured program theorem, also called Böhm-Jacopini theorem, is a result in programming language theory.