算法程序变换研究与进展

摘要：

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

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

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展规划973计划前期研究项目2003CCA02800;国家自然科学基金60573080;江西省自然科学基金0511041;江西师范大学校科研和教改项目

在线出版日期：2008-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：232-238