The following pages link to Analysis of structured programs (Q1212350):
Displaying 18 items.
- A note concerning top down program development and restricted exit control structures (Q598794) (← links)
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- An application of Cohen's result on star height to the theory of control structures (Q799363) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- On the detection of unstructuredness in flowgraphs (Q1098619) (← links)
- An algebraic definition for control structures (Q1151016) (← links)
- Graph theoretic characterization of G-schemes and T L-schemes (Q1159978) (← links)
- Program structures: Some new characterisations (Q1186551) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Analysis of Petri nets by stepwise refinements (Q1255320) (← links)
- Algebraic and graph theoretic characterizations of structured flowchart schemes (Q1257333) (← links)
- A generalized mathematical theory of structured programming (Q2265794) (← links)
- Dijkstra graphs (Q2414453) (← links)
- Dépliage d'un graphe pointé en un cactus (Q3822205) (← links)
- Information-logic connections in program schemes over arrays (Q3890089) (← links)
- Boolean-valued loops (Q4088262) (← links)
- (Q4130960) (← links)
- (Q4140356) (← links)
