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.