1) Algorithmic program transformation
算法程序变换
1.
Algorithmic program transformation, is an efficient approach to realize algo- rithmic programs development automation, has been an important research topic in software automation field, and now on which many researches have made progress.
算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。
2) 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.
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法。
3) algorithmic language program conversion
算法语言程序转换
4) program algorithm
程序算法
1.
Research on application of data mining technology in program algorithm database;
数据挖掘技术在程序算法数据库中的应用研究
5) algorithmic program
算法程序
1.
Based on partition and recurrence, rules of quantifier transformation, new strategies for developing loop invariants, and software transforming tools, a unified formal approach called PAR method gives a new way to develop complicated algorithmic programs.
在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序。
2.
They are a key for understanding, proving and deriving an algorithmic program.
循环不变式在软件形式化方法中占有十分重要的地位，它是理解、证明和推导算法程序的基础和关键。
6) Algorithmic programs
算法程序
1.
The paper develops two algorithmic programs of combinatorics problems using the formal method PAR.
使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序。
2.
However, many teaching material about combinatorial algorithms can only produce algorithms but can t provide the designing process from unresolved problem to exact algorithmic programs, which seriously impair underst.
然而，许多组合算法程序设计教材上没有对算法程序进行形式化推导，不能给出从需要求解的组合数学问题到具体算法程序的设计过程，这严重影响了算法设计者对算法本质的理解和算法设计能力的提高。
补充资料：程序最优化变换
程序最优化变换
f
程序最优化变换tp找嗯ram一咐i而z吨t~forlr.6.ls;即orpaMM onT“Mo3“py.川一e npeo6pa30.a皿，，】 用一种中间形式表示的程序的受控变换，在编译(翻译或程序生成)时用于改进程序工作特性的目的.这些工作特性与被程序使用的计算机资源有关，主要的资源是执行时间和使用的存储量. 通常，程序最优化变换的每个应用改变程序片段的局部语义，但是保留整个程序的语义—结果程序或者是等价于初始程序，或者是对较大数据集的扩充. 人们可以区分依赖于机器的程序最优化变换(machine一dependellt Prog触111一oPtimj劝19 transforr比l-tions)和通用的程序最优化变换(姗versal Pr ogmnl-叩石mi刀ng transformations).前者是通过机器语言的特性或者其他具体计算机的具体特性定义的.后者(例如把从程序的开始就不可访问的操作符移去)仅由包括在算法初始描述中的语义定义，对一大类计算机是可应用的. 使用程序最优化变换改进机器程序的常用方法是从程序的执行过程中移去一些计算或对象，或者是以简单的计算代替复杂的计算(在计算复杂性的既定界限基础上).这要求考虑程序的各语句和对象之间在这些过程中产生的控制、信息和频率关系.程序最优化变换的组成:必须借助于程序语句的局部语义搜索指示的类型的关系(称为程序的流程分析(flow analysisof the prog~);检查收集的信息的某些性质(称为上下文条件(context condition));和在这些条件满足的情况下变换程序的片段(由给定的程序最优化变换进行适当的变换). 按照由独立于环境的程序最优化变换处理的程序部分(称为经济部分(econo明part))的大小，把程序最优化变换分成局部的(kical)，全局的(glo加l)，和拟局部的(quasi一local)，地带(zo士)或小丘(恤-n1Irl(犯k).经济部分不大于一个语句者称为局部的;经济部分是整个程序者称为全局的;经济部分是有固定内部结构的片段者—例如射线(ray)(语句的线性序列)，称为拟局部的;不包含其他地带的地带(程序控制流程图的非平凡强连通子图);不包含其他小丘或地带的小丘(正好在两个顶点—输人和输出与控制流程图的其他部分相连通的子图;输人顶点属于小丘，输出顶点不属于小丘). 为了减少全局程序最优化变换的时间和体积的复杂性，人们常常使用因子分解(factor此咖n)—用一系列半局部的变换代替全局变换，按它们的复杂性应用于程序片段. 仅对窄小的一类程序，例如线性程序类，可能构造程序最优化变换的有限完全集因此，在现代编译程序中，对很大范围来说，一套程序优化变换是在启发式背景上构造，本质上是依赖于编译程序(翻译程序或程序生成程序)所要解决的一类问题.通常程序最优
[1] [2] 下一页
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条