Alternative developments of cyclic-permutation algorithms

DOI10.1016/0020-0190(92)90166-SzbMath0779.68060OpenAlexW2006331744MaRDI QIDQ1197971

Tom Whaley

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90166-s

zbMATH Keywords

program derivationcyclic-permutation algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• A note on a standard strategy for developing loop invariants and loops
• McLaren's masterpiece
• Developing a linear algorithm for cubing a cyclic permutation

This page was built for publication: Alternative developments of cyclic-permutation algorithms