算法程序变换研究与进展

Research and Development of Algorithmic Program Transformation

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。

Due to the creative work involved, the development of algorithmic programs is still one of the most challenging problems in computer field. In order to improve algorithmic programs＇ reliability and productivity, people are turning to the automation of its development. Algorithmic program transformation, is an efficient approach to realize algorithmic programs development automation, has been an important research topic in software automation field, and now on which many researches have made progress. The basic concepts about algorithmic program transformation are introduced, and then its classification is presented. Several typical algorithmic program transformation projects are compared and analyzed in many aspects, such as methodology, language, the capability of algorithm design, the supported tool and its application, etc. The existing problems of current works and future research direction are discussed.