关于横向程序变换的若干研究 被引量：11

1

作者 蔡经球 《软件学报》 EI CSCD 北大核心 1990年第4期1-13,共13页

本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换... 本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。 展开更多

关键词 横向程序变换 程序变换 软件自动化

在线阅读 下载PDF 职称材料

递归程序变换及其实验

2

作者 蔡经球 郭艺勋 许志端 《计算机科学》 CSCD 北大核心 1990年第3期60-65,共6页

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。

关键词 软件自动化 递归程序变换 程序变换

在线阅读 下载PDF 职称材料

算法程序变换研究与进展 被引量：3

3

作者 石海鹤 石海鹏 +1 位作者 郑宇军 薛锦云 《计算机科学》 CSCD 北大核心 2007年第11期232-238,共7页

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

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

在线阅读 下载PDF 职称材料

基于时序逻辑证明编译优化程序变换的保义性 被引量：3

4

作者 陶秋铭 赵琛 郭亮 《软件学报》 EI CSCD 北大核心 2009年第8期2074-2086,共13页

基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们... 基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明. 展开更多

关键词 时序逻辑 形式规约 优化编译 程序变换 语句交换 变量替换 语句重排

在线阅读 下载PDF 职称材料

递归程序变换实验系统XDPTS 被引量：1

5

作者 蔡经球 郭艺勋 许志端 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第4期379-383,共5页

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是... 文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。 展开更多

关键词 递归程序设计 程序变换 XDPTS

在线阅读 下载PDF 职称材料

递归程序变换在特殊函数公式推导中的应用 被引量：4

6

作者 蔡经球 《小型微型计算机系统》 CSCD 北大核心 1993年第5期32-35,共4页

本文针对一类多步递归模式,设计了相应的等价尾递归(迭代)模式,并结合计算机代数语言REDUCE,把所得到的迭代模式应用于特殊函数(如勒让德多项式等)的公式推导中,从而大大提高了计算机公式推导的效率。

关键词 递归程序变换 特殊函数 公式推导

在线阅读 下载PDF 职称材料

程序变换过程的分析与设计 被引量：3

7

作者 张乃孝 《计算机学报》 EI CSCD 北大核心 1994年第6期473-476,共4页

程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（Ｄｅｐａｒｔ... 程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ... 展开更多

关键词 程序变换 程序设计

在线阅读 下载PDF 职称材料

程序变换的一种规范说明方法 被引量：1

8

作者 刘宗田 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期87-90,共4页

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的... 文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。 展开更多

关键词 程序变换 面向对象 知识库 反编译系统 软件工程

在线阅读 下载PDF 职称材料

关于递归程序变换模式的设计方法 被引量：1

9

作者 蔡经球 《计算机应用与软件》 CSCD 1996年第2期9-14,共6页

本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。

关键词 程序设计方法学 程序设计 程序变换

在线阅读 下载PDF 职称材料

一种面向语义Web服务的语义程序变换方法

10

作者 王权于 应时 +1 位作者 吕国斌 赵楷 《计算机科学》 CSCD 北大核心 2010年第3期175-177,181,共4页

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法... 语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。 展开更多

关键词 语义WEB服务 语义程序 程序变换

在线阅读 下载PDF 职称材料

基于超文本的面向对象的逻辑型和函数型程序变换

11

作者 刘宗田 《计算机工程与设计》 CSCD 北大核心 1994年第5期3-11,19,共10页

本文在ＡＤＬ和ＤＡＤＬ基础上发展了一种引入抽象数据类型的逻辑型和函数型程序变换语言，阐述了从逻辑型向函数型和从函数型向过程型程序的变换方法，并介绍了基于超文本技术的程序变换支撑系统。

关键词 超文本 面向对象 逻辑型 函数型 程序变换

在线阅读 下载PDF 职称材料

关于并行递归程序变换的探讨

12

作者 蔡经球 张克均 《小型微型计算机系统》 CSCD 北大核心 1992年第3期23-26,共4页

有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法... 有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法已在我们研制的递归程序变换实验系统 XDPTS中得到应用。 展开更多

关键词 程序变换 递归程序 程序设计

在线阅读 下载PDF 职称材料

数据库自动编程——程序变换法

13

作者 瓮正科 《计算机应用研究》 CSCD 1991年第4期2-5,共4页

本文结合一个具体实例,较为全面地论述了利用程序变换法来实现数据库程序自动生成的若干技术细节,给出样板程序和生成器设计的方法。

关键词 数据库 程序变换 程序设计

在线阅读 下载PDF 职称材料

Mathem atica在横向程序变换中的应用 被引量：4

14

作者 徐锋峰 蔡经球 《小型微型计算机系统》 EI CSCD 北大核心 1999年第10期768-772,共5页

本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，... 本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍ ａｔｉｃａ３．０ 提供的ＭａｔｈＬｉｎｋ 机制，在ＶＢ５．０ 展开更多

关键词 程序设计方法学 数学软件系统 程序变换

在线阅读 下载PDF 职称材料

Unity和Gamma之间的程序变换:一个实例研究 被引量：1

15

作者 王敏 丁卫群 《小型微型计算机系统》 EI CSCD 北大核心 1998年第5期40-47,共8页

Ｇａｍｍａ和Ｕｎｉｔｙ都是面向问题描述的编程模型。本文中我们提出了一种从Ｕｎｉｔｙ到Ｇａｍｍａ的语义等价的程序变换方法，进而我们证明，Ｇａｍｍａ比相应的Ｕｎｉｔｙ有更强的表达能力。同时，也提出了逆转换方法。把这些方法... Ｇａｍｍａ和Ｕｎｉｔｙ都是面向问题描述的编程模型。本文中我们提出了一种从Ｕｎｉｔｙ到Ｇａｍｍａ的语义等价的程序变换方法，进而我们证明，Ｇａｍｍａ比相应的Ｕｎｉｔｙ有更强的表达能力。同时，也提出了逆转换方法。把这些方法运用到排序问题中的实验结果表明，用转换机制以及把Ｕｎｉｔｙ作为Ｇａｍｍａ的实现层来编写有效的程序是一种可行的方法。 展开更多

关键词 程序变换 UNITY Gamma语言

在线阅读 下载PDF 职称材料

程序变换及其在快速成型技术中的应用 被引量：1

16

作者 潘锦平 王小军 《计算机应用与软件》 CSCD 1990年第6期12-16,11,共6页

快速成型是八十年代出现的一种新型软件开发技术,本文从程序变换这一角度出发对快速成型作了探讨。文章叙述了程序交换的基本原理,基于这些原理,研究了从抽象的、不可运行的形式化规格说明变换到具体的、可执行程序的可能性。

关键词 程序变换 快速成型技术 软件开发

在线阅读 下载PDF 职称材料

通过程序变换对数字系统进行优化

17

作者 胡振江 孙永强 《软件学报》 EI CSCD 北大核心 1990年第2期1-11,共11页

在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻... 在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻辑结构,在这种逻辑结构中去除了冗余,最大限度地重复使用各个子部件。文章中给出了变换规则和变换的算法及若干示例。 展开更多

关键词 程序变换 数字系统 数字电路 优化

在线阅读 下载PDF 职称材料

一种基于算法骨架的函数式程序变换技术

18

作者 姚春玲 孙永强 《计算机科学》 CSCD 北大核心 1995年第2期11-16,共6页

如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技术、并行闭包归约、并行编译、并行程序转换等等技术相继成为改善这种状况的措施。

关键词 程序变换 程序设计 算法骨架 函数式语言

在线阅读 下载PDF 职称材料

C子集程序到C语言程序的变换 被引量：6

19

作者 刘宗田 兰群 《计算机研究与发展》 EI CSCD 北大核心 1991年第3期29-34,F004,共7页

本文介绍由C子集程序变换为C语言程序的方法和技术,该变换已在68000C 反编译系统的设计与实现中应用,且可用于程序结构化。

关键词 C子集 C语言 程序变换

在线阅读 下载PDF 职称材料

关于并行递归程序等价变换的若干研究

20

作者 蔡经球 《小型微型计算机系统》 CSCD 北大核心 1989年第11期32-36,共5页

一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。

关键词 并行递归程序 等价变换 程序变换

在线阅读 下载PDF 职称材料