Implementation of a Program Calculation System

程序计算系统的实现

• 批准号: 10558041
• 负责人: TAKEICHI Masato
• 金额: $ 6.85万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10558041/
• 关键词: Program Calculation; Fusion Transformation; Calculation; Algorithm; Functional Programming

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.

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

项目成果

M. Takeichi and Z. Hu: "Calculation Carrying Programs : How to code Program Transformation (Invited Talk)"International Symposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, November 1-2, 2000. IEEE Computer Society. 250-259

M. Takeichi 和 Z. Hu：“计算承载程序：如何编码程序转换（邀请演讲）”软件演化原理国际研讨会 (ISPSE 2000)，金泽，2000 年 11 月 1-2 日。IEEE 计算机协会。

Z. Hu, H. Iwasaki, M. Take-ichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)

Z. Hu、H. Iwasaki、M. Take-ichi：“计算累积”新一代计算 17(2)（出版中）。

W.N.Chin,A.Takano,Z.Hu: "Parallelization via Context Preservation" IEEE Computer Society International Conerence on Computer Lan-guages,Loyola University Chicago,Chicago,USA,May 1998. IEEE Press.1-12 (1998)

W.N.Chin,A.Takano,Z.Hu：“Parallelization via Context Preservation”IEEE 计算机学会国际计算机语言会议，芝加哥洛约拉大学，芝加哥，美国，1998 年 5 月。IEEE Press.1-12 (1998)

Z.Hu,M.Takeichi,H.Iwasaki: "Diffusion : Calculating Efficient Parallel Programs"1999 ACM SIGPLAN Workshop on Partial Evalution and Semantics-Based Program Manipulation(PEPM'99). 85-94 (1999)

Z.Hu，M.Takeichi，H.Iwasaki：“扩散：计算高效并行程序”1999 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会（PEPM99）。

I.Sasano,Z.Hu,M.Takeichi,M.Ogawa: "Make it Practical : A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems"The 2000 ACM SIGPLAN International Conf.on Functional Programming (ICFP'00). 137-149 (2000)

I.Sasano、Z.Hu、M.Takeichi、M.Okawa：“让它变得实用：解决最大权重和问题的通用线性时间算法”2000 年 ACM SIGPLAN 国际函数式编程会议 (ICFP00)。