Program Optimization Based on Constructive Algorithmics

我们的研究旨在设计一个基于构造性算法的程序优化框架，为实现实用的转换系统奠定方法论基础。提出了一种基于代数规则的程序转换技术，给出了转换算法的形式化描述。我们的计算技术有元组、融合、并行化等，都是在建设性的基础上进行的。今年进行的最后一阶段的研究完成了我们对程序转换的制定，并构建了一个将程序转换为更高效程序的原型系统，并对其有效性进行了评估。

Our research aims at designing a framework for program optimization based on constructive algorithmics which establishes a methodology for implementing practical transformation systems. We proposed a technique for program transformation based on algebraic rules which leads to formulation of transformation algorithms. Our calculational techniques are tupling, fusion, parallelization etc. all come from constructive basis.The final stage of this research conducted this year finishes our formulation of program transformation along with construction of a prototype system for transforming programs into more efficient ones with evaluation of its effectiveness.