Pages that link to "Item:Q1945039"
From MaRDI portal
The following pages link to Notes on avoiding ``go to'' statements (Q1945039):
Displaying 14 items.
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- An algebraic definition for control structures (Q1151016) (← links)
- Translatability of flowcharts into while programs (Q1211348) (← links)
- Analysis of structured programs (Q1212350) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- Note sulla derivata di un programma (Q1843167) (← links)
- Dijkstra graphs (Q2414453) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Program proving: KJumps and functions (Q2550288) (← links)
- Computation of resource requirements (Q4086697) (← links)
- (Q4125727) (← links)
- (Q4130960) (← links)
- (Q4139645) (← links)
- (Q5119396) (← links)
