Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Structured_program_theorem> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items 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 given class of algorithms can compute any computable function if those algorithms combine subprograms in only three specific ways. In other words, any algorithm can be expressed using only three control structures. They 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)Note that these can be represented, respectively, by the concatenation, union, and star operations of a regular expression.The theorem is credited to a 1966 paper by Corrado Böhm and Giuseppe Jacopini. However, David Harel traced its origins to the 1946 description of the von Neumann architecture and Stephen Kleene's normal form theorem[citation needed].The Böhm-Jacopini proof describes how to construct a structured flow chart from an arbitrary chart, using the bits in an extra integer variable to keep track of information that the original program represents by the program location. This construction was based on Böhm's programming language P′′. The Böhm-Jacopini proof did not settle the question of whether to adopt structured programming for software development, partly because the construction was more likely to obscure a program than to improve it. On the contrary, it signalled the beginning of the debate. Edsger Dijkstra's famous letter, "Go To Statement Considered Harmful," followed in 1968. Subsequent proofs of the theorem addressed practical shortcomings of the Böhm-Jacopini proof with constructions that maintained or improved the clarity of the original program.".
- Structured_program_theorem wikiPageExternalLink oct95.
- Structured_program_theorem wikiPageExternalLink bohmjacopini.pdf.
- Structured_program_theorem wikiPageID "1482138".
- Structured_program_theorem wikiPageRevisionID "602183760".
- 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 given class of algorithms can compute any computable function if those algorithms combine subprograms in only three specific ways. In other words, any algorithm can be expressed using only three control structures.".
- Structured_program_theorem label "Structured program theorem".
- Structured_program_theorem label "Teorema del programa estructurado".
- Structured_program_theorem label "Teorema di Böhm-Jacopini".
- Structured_program_theorem label "Теорема Бёма — Якопини".
- 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=602183760.
- Structured_program_theorem isPrimaryTopicOf Structured_program_theorem.