Pages that link to "Item:Q1772780"
From MaRDI portal
The following pages link to Control structures in programs and computational complexity (Q1772780):
Displaying 7 items.
- Implicit characterizations of FPTIME and NC revisited (Q1044672) (← links)
- On the computational complexity of imperative programming languages (Q1827396) (← links)
- Widening with Thresholds for Programs with Complex Control Graphs (Q3172939) (← links)
- Supporting control definition in programming languages (Q3345765) (← links)
- (Q4856498) (← links)
- A Refinement of the μ-measure for Stack Programs (Q4916234) (← links)
- Efficient computation of arbitrary control dependencies (Q6165552) (← links)