Pages that link to "Item:Q1052815"
From MaRDI portal
The following pages link to A note on a standard strategy for developing loop invariants and loops (Q1052815):
Displayed 10 items.
- Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence (Q396653) (← links)
- Linear time computation of the maximal linear and circular sums of multiple independent insertions into a sequence (Q501652) (← links)
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Randomized algorithm for the sum selection problem (Q884471) (← links)
- Ranking \(k\) maximum sums (Q884477) (← links)
- Alternative developments of cyclic-permutation algorithms (Q1197971) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- Efficient algorithms for the sum selection problem and \(k\) maximum sums problem (Q2268857) (← links)
- Finding the maximum subsequence sum on interconnection networks (Q5421615) (← links)
- Functional Pearls (Q5687910) (← links)