411 REFERENCE · Wiktionary
Böhm-Jacopini theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Structured program theorem
Etymology
Developed by Corrado Böhm and Giuseppe Jacopini.
Proper noun
1
en comptheory A theorem stating that a class of control flow graphs can compute any computable function using only sequences, selections, and iterations.
en structured program theorem
en eponyms