Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,232,152 papers from all fields of science
Search
Sign In
Create Free Account
Structured program theorem
Known as:
Boehm-Jacopini theorem
, Böhm-Jacopini theorem
, Theorem of Bohm-Jacopini
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Algorithm
BLISS
Basic block
COBOL
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
On the Evolution of Unnatural Language
L. Hatton
International Conference on Reliable Software…
2011
Corpus ID: 33573375
A search of the web reveals that natural language is considered to be language which a human would consider natural and unnatural…
Expand
2011
2011
On the Evolution of Unnatural Language Les Hatton
L. Hatton
2011
Corpus ID: 18714511
A search of the web reveals that natural language is considered to be language which a human would consider natural and unnatural…
Expand
2003
2003
Hierarchical Structure of 1-Safe Petri Nets
Kamal Lodaya
,
D. Ranganayakulu
,
K. Rangarajan
Asian Computing Science Conference
2003
Corpus ID: 9908455
The hierarchical process structure of Petri nets can be modelled by languages of series-parallel posets. We show how to extract…
Expand
1977
1977
Structured Turing Machines
R. Prather
Information and Control
1977
Corpus ID: 11960245
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE