算法程序变换研究与进展

合集下载

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｏｉｈｍａｙｒｓａｃｅａｅｍａｅｐｏｒｓ．Ｔｈａｉｏｃｐｓａｏｔａｇｒｈｃｐｏｒｍｒｎｆｒｔｎａｅｉｔｏｎｗｈｃｎｅｅｒｈｓｈｖｄｒｇｅｓｅｂｓｃｃｎｅｔｂｕｌｏｉｍｉｒｇａｔａｓｏｍａｉｒｒ— ｔｏｎ
摘要开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率，人们
ቤተ መጻሕፍቲ ባይዱ
正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径，已成为程序设计方法学和软件自动化领域中的重要课题，目前已取得很大进展。本文介绍了算法程序变换的相关概念，出了算法程序变换的分类，给
ｐｒｄａｄａａｙｅｎｓｅｔ，ｓｃｓｍｅｈｄｌｇａｅｎｎｌｚｄｉｍａｙａｐｃｓｕｈａｔｏｏｏｙ，ｌｎｕｇ，ｔｅｃｐｂｌｙｏｌｏｉｍｅｉｎ，ｔｅｓｐｒｅｎａｇａｅｈａａｉｔｆａｇｒｔｉｈｄｓｇｈｕｐｔｏｄ
ｉｇｐｏｌｍｓｉｏｐｔｒｆｌ．Ｉｒｅｏｉｒｖｌｏｉｍｉｒｇａｒｌｂｌｙａｄｐｏｕｔｉｎｒｂｅｃｍｕｅｉｄｎｏｄｒｔｎｅｍｐｏｅａｇｒｔｈｃｐｏｒｍｓｅｉｉｔｎｒｄｃｉｔａｉｖｙ，ｐｏｌｒｕｎｅｐｅａｅｔｒ－ｉｇｔｈｕｏｔｏｆｉｅｅｏｍｅｔｎｏｔｅａｔｍａｉｎｏｓｄｖｌｐｎ．Ａｌｏｉｍｉｒｇａｔａｓｏｍａｉｎ，ｉａｆｉｉｎｐｒａｈｔｅｌｅａｇ — ｔｇｒｈｃｐｏｒｍｒｎｆｒｔｔｏｓｎｅｆｅｔａｐｏｃｏｒａｉｌｏｃｚｒｔｍｌｐｏｒｍｓｄｖｌｐｎｕｏｔｎ，ｈｓｂｅｎｉｏｔｎｅｅｒｈｔｐｃｉｏｔｒｕｏｔｎｆｅｄｎｏｉｈｃｒｇａｅｅｏｍｅｔａｔｍａｉｏａｅｎａｍｐｒａｔｒｓａｃｏｉｎｓｆｗａｅａｔｍａｉｉｌ，ａｄｎｗｏ
ｄｃｄａｄｔｅｓｃｓｉｃｔｎｉｐｅｅｔｄｅｅａｔｐｃｌｌｒｈｃｐｏｒｍｒｎｆｒｔｎｐｏｅｔａｅｃｍ— ｕｅ，ｎｎｉｌｓｉｉｒｓｎｅ．Ｓｖｒｌｙｉｇｉｍｉｒｇａｔａｓｏｍａｉｒｉｃｓｒｏｈｔａｆａｏｓａａｏｔｏ
并从方法学、言、语算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项
目，论了当前研究的不足以及今后的研究方向。讨
关键词算法程序变换，自动化，形式化方法，法设计算
ＲｅｅｒｈａｖｌｐｍｅｆＡｌｏｉｈｉｏｒｍａｆｒａｉｎｓａｃｎｄＤｅｅｏｎｔｏｇｒｔｍｃＰｒｇａＴｒｎｓｏｍｔｏＳＨＩＨａ－ｌＨｅ・ＳａＰｎ￣ＨＩＨｉｅｇ－ＺＨＥＮＧ－ｕ２ＸＵＥＪｎＹｕＹｕＪｎｉ－ｎ’
（ｏｌｅｏｍｐｔｒＩｆｒｔｎａｄＥｇｎｅｉＪａｇｉｒａＵｎｖｒｉ，Ｎａｃａ３０２ＣｌｇｆｅｏＣｕｅｏｍａｉｎｎｉｅｒｇ，ｉｎｘｍｌｉｓｙｎｏｎＮｏｅｔｎｈｎ３０２）ｇ
维普资讯
计算机科学２０Ｖ１４Ｑ１０７ｏ３Ｎ．１．
算法程序变换研究与进展）
石海鹤石海鹏。郑宇军薛锦云
（西师范大学计算机信息工程学院南昌３０２）江３０２（中国科学院软件研究所计算机科学国家重点实验室北京１０８）０００。（江西师范大学软件学院南昌３０２）３０２。
（ｏｌｇｆＳｆｒ，ｉｎｘＮｏａＵｎｖｒｉ，ｎｈｎ３０２。ＣｌｅｏｔｅＪａｉｒｌｉｅｓｙＮａｅａｇ３０２）ｅｏｗａｇｍｔ
ＡｂｔａｔＤｕｏｔｅｃｅｔｅｗｏｋｉｖｌｅ，ｔｅｄｖｌｐｎｆａｇｒｔｍｉｐｏｒｍｓｉｓｉｎｆｈｓｈｌｎ－ｓｒｃｅｔｈｒａｉｒｏｖｄｈｅｅｏｍｅｔｌｏｉｈｃｒｇａｓｔｌｏｅｏｅｍｏｔａｌｇｖｎｏｌｔｃｅ
（ｔｎｌｙＬｂｒｔｒｏｏｕｅｃｎｅｎｔｕｅｏｏｔｒ，ｔｅＣｉｅｅＡｃｅｆｃｎｅ，Ｂｉｎ０００ＮａｉａＫｅａｏａｏｙｆｒｍｐｔｒＳｉｃ，ＩｓｉｔｆＳｆｏＣｅｔｗａｅｈｈｎｓＭｍｙｏｉｃｓｅｉ１０８）Ｓｅｊｇ