-
题名算法程序变换研究与进展
被引量：3
- 1
-
-
作者
石海鹤
石海鹏
郑宇军
薛锦云
-
机构
江西师范大学计算机信息工程学院
江西师范大学软件学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2007年第11期232-238,共7页
-
基金
本文得到国家重大基础研究(973计划)前期研究专项(编号:2003CCA02800)
国家自然科学基金(编号:60573080)
+1 种基金
江西省自然科学基金(编号:0511041)
江西师范大学2006年度青年成长基金
-
文摘
开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
-
关键词
算法程序变换
自动化
形式化方法
算法设计
-
Keywords
Algorithmic program transformation, Automation, Formal method, Algorithm design
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
