Research on Self-evolution Mechanisms of Computer Programs

本项目旨在开发计算机程序的自组织机制。函数式程序的完全惰性求值的自优化特性是本课题研究的出发点。基于此方法的部分评估器的实现表明，该想法是有希望的，但仍有许多工作要做，以使其切实可行。在此基础上，探索并实现了一种新的程序转换系统评价思路。尽管到目前为止大多数程序转换系统都依赖于启发式，但我们的新系统完全是机械的。它基于构造算法研究中产生的同态。开发了实现算法，并编制了HYLO系统。这些结果已在国际会议上公布，并发表在《论文集》上。

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.