Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Structured_program_theorem> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Structured_program_theorem abstract "The structured program theorem, also called Böhm-Jacopini theorem, is a result in programming language theory. It states that a class of control flow graphs (historically called charts in this context) can compute any computable function if it combines subprograms in only three specific ways (control structures). These areExecuting one subprogram, and then another subprogram (sequence)Executing one of two subprograms according to the value of a boolean expression (selection)Executing a subprogram until a boolean expression is true (iteration)The structured chart subject to these constraints may however use additional variables in the form bits (stored in an extra integer variable in the original proof) in order to keep track of information that the original program represents by the program location. The construction was based on Böhm's programming language P′′.".
- Structured_program_theorem wikiPageExternalLink lect8_boehm.ppt.
- Structured_program_theorem wikiPageID "1482138".
- Structured_program_theorem wikiPageRevisionID "636239544".
- Structured_program_theorem hasPhotoCollection Structured_program_theorem.
- Structured_program_theorem subject Category:Models_of_computation.
- Structured_program_theorem subject Category:Programming_language_theory.
- Structured_program_theorem subject Category:Theorems_in_computational_complexity_theory.
- Structured_program_theorem subject Category:Theory_of_computation.
- Structured_program_theorem type Assistant109815790.
- Structured_program_theorem type CausalAgent100007347.
- Structured_program_theorem type LivingThing100004258.
- Structured_program_theorem type Model110324560.
- Structured_program_theorem type ModelsOfComputation.
- Structured_program_theorem type Object100002684.
- Structured_program_theorem type Organism100004475.
- Structured_program_theorem type Person100007846.
- Structured_program_theorem type PhysicalEntity100001930.
- Structured_program_theorem type Whole100003553.
- Structured_program_theorem type Worker109632518.
- Structured_program_theorem type YagoLegalActor.
- Structured_program_theorem type YagoLegalActorGeo.
- Structured_program_theorem comment "The structured program theorem, also called Böhm-Jacopini theorem, is a result in programming language theory. It states that a class of control flow graphs (historically called charts in this context) can compute any computable function if it combines subprograms in only three specific ways (control structures).".
- Structured_program_theorem label "Structured program theorem".
- Structured_program_theorem label "Teorema del programa estructurado".
- Structured_program_theorem label "Teorema del programa estructurat".
- Structured_program_theorem label "Teorema di Böhm-Jacopini".
- Structured_program_theorem label "Теорема Бёма — Якопини".
- Structured_program_theorem sameAs Teorema_del_programa_estructurado.
- Structured_program_theorem sameAs Teorema_di_Böhm-Jacopini.
- Structured_program_theorem sameAs m.054ysq.
- Structured_program_theorem sameAs Q2635326.
- Structured_program_theorem sameAs Q2635326.
- Structured_program_theorem sameAs Structured_program_theorem.
- Structured_program_theorem wasDerivedFrom Structured_program_theorem?oldid=636239544.
- Structured_program_theorem isPrimaryTopicOf Structured_program_theorem.