汤姆·惠利 循环置换算法的替代发展。 （英语） Zbl 0779.68060号 信息处理。莱特。 41，第5期，239-241（1992）. 总结：W.H.J.费扬,A.J.M.van Gasteren先生和D.格里斯[Inform.Process.Lett.24，11-14（1987）]给出了一种算法的形式化开发，该算法用于反转存储在数组中的循环置换，以及薛建军（J.Xue）和D.格里斯[科学计算程序11，161-165（1988；Zbl 0678.68024号)]给出了循环置换立方体算法的这种发展。这些推导首先通过置换的替代表示完成；然后用坐标变换将算法表示为数组表示。在这里，我们使用标准策略，根据原始数组开发算法。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：循环置换算法;程序推导 引文：Zbl 0678.68024号 PDF格式BibTeX公司 XML格式引用 \textit{T.Whaley}，Inf.过程。莱特。41，第5号，239--241（1992；Zbl 0779.68060） 全文： 内政部 参考文献： [1] Feijen，W.H.J。；Van Gasteren，A.J.M。；Gries，D.，循环置换的原位反演，Inform。过程。莱特。，24, 11-14 (1987) [2] Gries，D.（程序设计科学（1981），Springer:Springer New York），265-274·Zbl 0472.68003号 [3] Gries，D.，关于开发循环不变量和循环的标准策略的注释，Sci。计算。编程，2207-214（1984）·Zbl 0516.68008号 [4] Gries博士。；普林斯，J.F.，迈凯轮的杰作《科学》。计算。编程，8139-145（1987）·兹比尔0649.68031 [5] 薛，J。；Gries，D.，《开发循环置换立方的线性算法》，Sci。计算。编程，11，161-165（1988）·Zbl 0678.68024号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。