程序变换 meaning in English
program change
program inversion
program transformation
transformation of programs
Examples
- Because loops are usually executed many times , loops optimization is a major aspect in optimal compilation
摘要讨论了循环优化的目标和循环优化的各种程序变换方法。 - 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
程序变换可大大减少下标变数的访问时间；消除某些类型的相关，提高软件流水的“深度” ；合并多个循环，有利于进行代码压缩。 - Partial evaluation is a kind of technology of program optimization , also called program specification . this is a system which transform a general program to a special program , to improve the efficiency of the program . especially in the situation that needs execute the special program repeatly , the effects will be very notable
<中文摘要> =部分求值是一种程序优化技术，又称为程序例化技术，是通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，来达到提高程序执行效率的目的。 - Since the concept of program slicing is proposed , it is widely concerned by software researchers and development staffs and is widely applied in the fields of software testing , debugging , measuring , maintenance , xml information extraction , reverse engineering and re - engineering , etc .
自从程序分片概念被提出以后,受到很多研究人员和软件开发人员的关注,使得它在软件测试、调试、度量、维护、程序变换、 xml信息抽取、软件逆向工程与再工程等方面得到广泛应用。 - We analysed the traditional automatic parallelization technology , including dependency analysis theory , program transformation technology , parallel scheme and the optimization of related synchronization and communication etc , which are the theoretical basis of the whole article . cfd computing features , especially the features of explicit difference computing , have also been further ananlysed . we also summarized drawbacks of traditional automatic parallelization technology used in cfd : small parallel granularity , difficulty in attaining global identical data partition , and difficulty in attaining high parallel efficiency on distributed memory system
本文讨论、分析、总结了通用的自动并行化技术：相关性分析理论、程序变换技术、并行模式以及同步通信与优化问题等等，它们是本文研究工作的理论基础；针对研究对象，深入分析了cfd计算的特点，特别是显式差分计算的特点；并归纳出传统的自动并行化技术在cfd应用中存在的问题：并行粒度小、难以获得全局统一的数据划分方式，对于分布存储结构的并行机难以获得高效率。