1) channel program translation
通道程序变换
2) channel program translation
通道程序转换
3) program channel
程序通道
4) channel program
通道程序
5) Program transformation
程序变换
1.
This paper discusses the target of loops optimization and various methods of program transformation which can significantly reduce the access time to subscripted variables, diminish some types of dependence, increase the "depth" of software pipelining, and merge some iterations of loops in order to make code compaction easier.
讨论了循环优化的目标和循环优化的各种程序变换方法。
2.
The polyhedral representation technique provides a generic way to express program transformations and their composition, which facilitates the search of optimal program transformation.
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合,有利于最优程序变换的搜索。
3.
The transitions between models are implemented according to the idea of program transformation.
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法。
6) resource alternate program communication block
资源变换程序通信块
补充资料：程序转换方法
程序转换方法
program transformational method
chengxu zhuanhuan fangfa程序转换方法(p到理，即m transfo们盯ationalmethod)由一程序转换至与之等价的另一程序的方法，简称转换方法。从软件自动化的角度看，程序转换有两类:一类是队向特换，即由一抽象级别较高的程序转至另一满足功能要求的抽象级别较低的程序。另一类是校向传换，即在相同(或类似)抽象级别上程序间的转换。 纵向转换涉及从功能规约到可执行的程序的全过程，可分为三个阶段:①从“做什么”的功能规约到“如何做”的设计规约转换;②从设计规约到高级语言程序的转换;③从高级语言程序到机器语言程序的转换。一般认为，①是其核心和难点，而②，③可借助编译技术完成。前者所要考虑的主要问题有:转换模型、转换过程中的正确性架构、知识及其表示机制和转换规则的选取等。代表性的工作是70年代中期西德慕尼黑技术大学信息学研究所在F.L.卫达uer教授主持下开始研究的软件自动化系统，即计算机辅助、直觉指导的程序设计(CIP)项目，以及南京大学计算机软件研究所徐家福教授主持研制的算法设计自动化系统NDADAS和软件自动化系统NDAU卫〕o CIP的目标是开发可形式保证程序正确性的程序开发系统。其课题有三:第一，设计并定义一广谱语言CIP一L;第二，开发一交互系统;第三，建立一指导程序开发中形式推理过程的方法学。CIP的特点是:第一，各步之间转换的实现只借助“保证正确性”的转换规则;第二，开发全过程由程序人员指导，亦即，由程序人员选定转换规则。 Nl〕AI〔)AS是实现功能规约到设计规约自动转换的算法设计自动化系统。它采用功能规约分解树模型，从给定的函数功能规约开始的转换过程由一系列自顶向下的精化步构成，每一精化步将某一函数规约或按某一控制结构分解成若干子函数功能规约;或将某一函数规约转换成另一易于求解的函数规约或算法已知的基元函数功能规约。此过程一直进行到所有未分解的(子)函数功能规约均是基元函数功能规约为止。结果即为相应的设计规约。 Nl)AUTO是实现设计规约到可执行的程序代码自动转换的软件自动化系统。主要工作是设计了一个图形化的软件设计规约语言GSPE〔:和实现了一个自动转换系统。(万PEC基于函数模型，并引人了新的软件分解模式，以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一，由转换程序将设计规约中的一阶谓词描述成分消去，将用户新定义的抽象数据类型用已有的类型实现;第二，由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条