权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Implementation of Program Calculator System

程序计算器系统的实现

基本信息

批准号：
11694130
负责人：
TAKEICHI Masato
金额：
$ 6.14万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2001
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11694130/
关键词：
Program Calculation Fusion Calculation Algorithm Functional Programming 構成的手法

项目摘要

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.

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

项目成果

期刊论文数量（47）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

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 计算机协会。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

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

I.Sasano、Z.Hu、M.Takeichi、M.Okawa：“Make it Practical：A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems”Tee 2000 ACM SIGPLAN 国际函数式编程会议 (ICFP00)。