Implementation of a Program Calculation System

我们的研究旨在实现一个基于构造性算法的程序计算器，为实际的转换系统建立一种方法学。我们提出了一种基于代数规则的程序转换技术，并实现了HYLO计算器系统作为我们的研究项目。我们的计算器处理的是融合变换，这是函数式程序中有效使用的。今年进行的这项研究的最后阶段完成了HYLO系统的实施，并使用基准程序进行了评估。结果表明，基于构造性算法的计算系统是实用有效的。HYLO系统可通过网页使用。

Our research aims at implementing a program calculator based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for program transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the HYLO calculator system as our research project. Our calculator deals with fusion transformation which is effectively used in functional programs. The final stage of this research conducted this year finishes implementation of the HYLO system with evaluation using benchmark programs. The result shows practical effectiveness of the calculation system based on Constructive Algorithmics. The HYLO system can be used through the WEB page.