算法程序变换研究与进展
文献类型：期刊论文
| 作者 | 石海鹤 ; 石海鹏 ; 郑宇军 ; 薛锦云 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2007 |
| 卷号 | 34期号:11页码:232-238 |
| 关键词 | 算法程序变换 自动化 形式化方法 算法设计 算法程序 程序变换 软件自动化 程序开发 设计方法学 程序的可靠性 支撑工具 研究方向 相关概念 适用领域 生产效率 设计能力 科学领域 计算机 语言 课题 分类 |
| ISSN号 | 1002-137X |
| 其他题名 | research and development of algorithmic program transformation |
| 中文摘要 | 开发算法程序是计算机科学领域中最具挑战性的问题之一.为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化.算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展.本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向. |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 源URL | [http://124.16.136.157/handle/311060/11308]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 石海鹤,石海鹏,郑宇军,等. 算法程序变换研究与进展[J]. 计算机科学,2007,34(11):232-238. |
| APA | 石海鹤,石海鹏,郑宇军,&薛锦云.(2007).算法程序变换研究与进展.计算机科学,34(11),232-238. |
| MLA | 石海鹤,et al."算法程序变换研究与进展".计算机科学 34.11(2007):232-238. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。