Title: | 算法程序变换研究与进展 |
Alternative Title: | research and development of algorithmic program transformation
|
Author: | 石海鹤
; 石海鹏
; 郑宇军
; 薛锦云
|
Keyword: | 算法程序变换
; 自动化
; 形式化方法
; 算法设计
; 算法程序
; 程序变换
; 软件自动化
; 程序开发
; 设计方法学
; 程序的可靠性
; 支撑工具
; 研究方向
; 相关概念
; 适用领域
; 生产效率
; 设计能力
; 科学领域
; 计算机
; 语言
; 课题
; 分类
|
Source: | 计算机科学
|
Issued Date: | 2007
|
Volume: | 34, Issue:11, Pages:232-238 | Department: | 江西师范大学计算机信息工程学院,南昌330022;中国科学院软件研究所计算机科学国家重点实验室,北京100080;江西师范大学软件学院,南昌,330022;中国科学院软件研究所计算机科学国家重点实验室,北京,100080;江西师范大学计算机信息工程学院,南昌330022;中国科学院软件研究所计算机科学国家重点实验室,北京100080
|
Abstract: | 开发算法程序是计算机科学领域中最具挑战性的问题之一.为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化.算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展.本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11308
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
算法程序变换研究与进展.pdf(559KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
石海鹤,石海鹏,郑宇军,等. 算法程序变换研究与进展[J]. 计算机科学,2007-01-01,34(11):232-238.
|
|
|