算法程序变换研究与进展

计算机科学 ›› 2007, Vol. 34 ›› Issue (11): 232-238.

算法程序变换研究与进展

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到国家重大基础研究（973计划）前期研究专项（编号：2003CCA02800）,国家自然科学基金资助项目（编号：60573080）、江西省自然科学基金项目（编号：0511041）和江西师范大学2006年度青年成长基金项目资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: Due to the creative work involved, the development of algorithmic programs is still one of the most challenging problems in computer field. In order to improve algorithmic programs＇ reliability and productivity, people are turning to the automation of its

Key words: Algorithmic program transformation, Automation, Formal method, Algorithm design

. 算法程序变换研究与进展[J]. 计算机科学, 2007, 34(11): 232-238. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed