Implementation of Program Calculator System

我们的研究目的是与牛津大学合作，设计一个实用的程序转换系统的基础上，建立了一个实用的转换系统的方法论的构造性转换。我们提出了一种基于代数规则实现转换的技术，从而形成了转换算法，并将该系统作为我们的研究项目。我们的系统处理融合变换，这是有效地用于函数程序。今年进行的这项研究的最后阶段完成了系统海洛的实施，并使用基准程序进行了评估。结果表明，基于构造性映射的构造性转换系统是实用有效的。

Our research aims at collaborating with Oxford group for designing a practical program transformation system based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a Technique for implementing transformation based on algebraic rules which lead to formulation of transformation algorithms and we implemented the system as our research project. Our system deals with fusion transformation which is effectively used for functional programs. The final stage of this research conducted this year finishes implementation of the system HYLO with evaluation using benchmark programs. The result shows practical effectiveness of the constructive transformation system based on Constructive Algorithmics.