Abstract
An algorithm is developed for the in-situ inversion of a cyclic permutation represented in an array. The emphasis is on the quo modo rather than the quod**; we are interested in finding concepts and notations for dealing more effectively with formal developments and proofs of such algorithms, rather than in this particular algorithm itself.
Original language | English |
---|---|
Pages (from-to) | 11-14 |
Journal | Information Processing Letters |
Volume | 24 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1987 |