算法程序变换研究与进展  

Research and Development of Algorithmic Program Transformation

作　　者：石海鹤[1] 石海鹏[2] 郑宇军[3] 薛锦云[1] 

机构地区：[1]江西师范大学计算机信息工程学院,南昌330022 [2]江西师范大学软件学院,南昌330022 [3]中国科学院软件研究所计算机科学国家重点实验室,北京100080

出　　处：《计算机科学》2007年第11期232-238,共7页Computer Science

基　　金：本文得到国家重大基础研究(973计划)前期研究专项(编号:2003CCA02800);国家自然科学基金(编号:60573080);江西省自然科学基金(编号:0511041);江西师范大学2006年度青年成长基金

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

关 键 词：算法程序变换 自动化 形式化方法 算法设计 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]