structured program theorem

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Böhm–Jacopini_theorem
gptkbp:field computer science
programming theory
gptkbp:formedBy gptkb:Corrado_Böhm
gptkb:Giuseppe_Jacopini
1966
https://www.w3.org/2000/01/rdf-schema#label structured program theorem
gptkbp:influenced structured programming
gptkbp:publishedIn gptkb:Communications_of_the_ACM
gptkbp:relatedTo gptkb:Turing_completeness
control flow
goto statement
gptkbp:state any computable function can be computed using only three control structures: sequence, selection, and iteration
gptkbp:bfsParent gptkb:Böhm–Jacopini_theorem
gptkbp:bfsLayer 6