Research on Self-evolution Mechanisms of Computer Programs

计算机程序自进化机制研究

• 批准号: 07458053
• 负责人: TAKEICHI Masato
• 金额: $ 3.26万
• 依托单位: University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1996
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07458053/
• 关键词: Programming Methodology; Lazy Evaluation; Partial Evaluation; Program Transformation; Program Evolution

This project aims at development of the mechanism for self-organization of computer programs. Self-optimizing property of fully lazy evaluation of functional programs is our starting point of this project. Implementation of a partial evaluator based on this approach shows that the idea is promising while much work remains to be done for making it practical.In Addition to this approach, a novel idea for program transformation system has been explored and implemented for evaluation. Although most program transformation systems so far relies on heuristics, our new system is completely mechanical. It is based on hylomorphisms which comes from research on constructive algorithmics. Algorithms for implementation have been developed and the system HYLO is worked out.These results have been made public at international conferences and published in the proceedings.

该项目旨在开发计算机程序自组织的机制。函数式程序的完全惰性求值的自优化特性是我们这个项目的出发点。基于该方法的部分求值器的实现表明，该思想是有前途的，但要使其实用化还有许多工作要做。除此之外，还探索并实现了一种新的程序转换系统的思想，用于求值。虽然到目前为止大多数程序转换系统都依赖于自动化，但我们的新系统完全是机械的。它是建立在对构造性算法研究的基础上的。已经开发了执行的算法，并编制了海洛系统，这些结果已在国际会议上公布，并在会议记录上发表。

项目成果

Zhenjiang Hu: "Cheap Tupling in Calculational Form" 8th International Symposium on Programming Languages, Implementations, Logics, and Programs, Springer LNCS 1140, September. 471-472 (1996)

胡振江：“计算形式的廉价元组”第八届编程语言、实现、逻辑和程序国际研讨会，Springer LNCS 1140，9 月。

石井裕一郎: "関数型言語における参照透明性を保持する参照型" 日本ソフトウェア科学会第12回大会論文集. 257-260 (1995)

Yuichiro Ishii：“在函数式语言中保持引用透明度的引用类型”日本软件学会第 12 届年会记录 257-260 (1995)。

Zhenjiang Hu: "An Extension of the Acid Rain Theorem" Proc.The Second Fuji International Workshop on Functional and Logic Programming,World Scientific. (1997)

胡振江：《酸雨定理的延伸》论文集，第二届富士函数与逻辑编程国际研讨会，世界科学出版社。

Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP'96). 73-82 (1996)

胡振江：“从递归定义推导结构同态。”

Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem." Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123. 553-562 (1996)

胡振江：“二维最大线段和问题并行程序的形式化推导”。