一种基于算法骨架的函数式程序变换技术

A Functional Program Transformation Based on Algorithmic Skeletons

如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技术、并行闭包归约、并行编译、并行程序转换等等技术相继成为改善这种状况的措施。

Program transformation techniques have been used as one of the main approaches of im-proving program execution efficiency. The implicit parallelisms of functional program make it suit-able to process the derivation for parallel algorithms. Algorithmic skeletons,mentioned in this pa-per,are essentially high-order functions which express for group of problems the general algorith-mic models as well as computation structures. We employ several algorithmic skeletons which are already at hand,make some choices of the suitable ones to describe the problem specification under the guidance of the cost performance attached with each algorithmic skeleton,and supply the com-positions between them. The transformation mechanism,built between skeletons,guarantees the portability between different implementation structures. And the conversion from skeleton to its specific corresponding implementation structures furnishes us with the parallel and efficient imple-mentation version for the problem being soloved.