通过综合进行算法分类

在最近关于程序转换和合成的独立工作中（Darlington，1975年；1978年；Clark&Sickel，1977年；Clack，1977年），作者发现，一类算法的结构可以通过从通用的高级规范合成类中的每个算法来暴露，从而建立算法的“家谱”。在本文中，我们想通过一个简单的例子来说明这项技术，概述如何从一个通用规范中综合四种常见的排序算法，即合并排序、快速排序、插入排序和选择排序。我们希望鼓励其他国家在其他领域开展这项工作。