|
|||||
|
|
| 算法程序变换研究与进展 | |
| 作者姓名： | 石海鹤 石海鹏 郑宇军 薛锦云 |
| 作者单位： | 江西师范大学计算机信息工程学院,南昌330022;中国科学院软件研究所计算机科学国家重点实验室,北京100080;江西师范大学软件学院,南昌,330022;中国科学院软件研究所计算机科学国家重点实验室,北京,100080 |
| 基金项目： | 国家重点基础研究发展规划(973计划)前期研究项目 , 国家自然科学基金 , 江西省自然科学基金 , 江西师范大学校科研和教改项目 |
| 摘 要： | 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。 |
| 关 键 词： | 算法程序变换 自动化 形式化方法 算法设计 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |