Pages that link to "Item:Q4766002"
From MaRDI portal
The following pages link to On the capabilities of while, repeat, and exit statements (Q4766002):
Displayed 10 items.
- An application of Cohen's result on star height to the theory of control structures (Q799363) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- An algebraic definition for control structures (Q1151016) (← links)
- Program structures: Some new characterisations (Q1186551) (← links)
- Analysis of structured programs (Q1212350) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- The Böhm–Jacopini Theorem Is False, Propositionally (Q3521987) (← links)
- Boolean-valued loops (Q4088262) (← links)
- (Q4130960) (← links)
- (Q4171548) (← links)