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.

我们的研究旨在基于建设性算法来实施程序计算器，该算法建立了实用转换系统的方法。我们提出了一种基于代数规则的程序转换的技术，该技术导致了转换算法的提出，并将Hylo计算器系统作为研究项目实施。我们的计算器处理融合转换，该融合转换有效地用于功能程序。这项研究的最后阶段今年进行了使用基准计划的评估，完成了大型系统的实施。结果显示了基于建设性算法的计算系统的实际有效性。可以通过网页使用Hylo系统。

项目成果

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）。

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)

尾上能之,胡振江,岩崎英哉,武市正人: "プログラム融合変換の実用的有効性の検証"日本ソフトウェア科学会「コンピュータソフトウェア」. 17. 273-277 (2000)

Onoue Yoshiyuki、胡振江、岩崎秀也、竹一正人：“程序融合转换的实际有效性验证”日本软件学会《计算机软件》17. 273-277（2000）。

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 Pro-grarnrning (ICFP'00). 137-149 (2000)

I.Sasano、Z.Hu、M.Takeichi、M.Okawa：“使其实用：解决最大权重和问题的通用线性时间算法”2000 年 ACM SIGPLAN 国际会议。

I. Sasano, Z. Hu, M. Takeichi, M. Ogawa: "Make it Practical: A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems"The 2000 ACM STGPL.4N International Conf. on Functional Programming (ICFP'OO), Montreal, Canada, September 2000. ACM Press.

I. Sasano、Z. Hu、M. Takeichi、M. Okawa：“使其实用：解决最大权重和问题的通用线性时间算法”2000 ACM STGPL.4N 国际会议。