By combining the idea of object oriented designing and application of rewriting technique, this paper proposes the basic idea and schema structure of program rewriting, which constructs an object oriented program rewriting theory and defines a model of rewriting system by drawing lessons from abstract rewriting system and rewriting logic.
结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型。
In order to cope with the problem,that is,the currently available software model checker can hardly deal with large-scale software,it is proposed to use the technique of program restructuring to pre-process the source code,so as to enhance the efficiency of software model checking.
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率。
Constructing a Remand Procedure in WTO Dispute Settlement;
WTO争端解决重审程序的构建
But the settlement procedure and reorganization procedure have different characteristics.
但清算程序与重整程序具有不同的特点,应根据这两个不同的程序,对破产管理人制度和重整人制度进行各自不同的立法设计,以更好地实现破产法的宗旨。
multiprogramming executive (MPE)
多道程序执行;多道程序执行部件;多重程序执行程序
Close any open programs, and run the setup again.
关闭所有程序，然后重新运行安装程序。
Remove these programs and then run Setup again.
删除这些程序，然后重新运行安装程序。
multiprogrammed repeatable robot
多程序重复式机器人
Repeat this procedure at the finish of the seam.
在终端重复这道程序。
tape overlap emulator
磁带重叠操作仿真程序
repeated sequential process
重复执行的顺序过程
Reusing Existing Web Applications
重用现有Web 应用程序
concordance generator program
重要语汇索引生成程序
reentrant buffer manager
重入缓冲器管理程序
Research on Software Refactoring in AspectJ Programs;
AspectJ程序的重构方法研究
The program is not registered properly. Please run Setup again.
程序没有正确注册。请重新运行安装程序。
A component of the application is missing. Please reinstall the application.
应用程序缺少组件。请重新安装该应用程序。
Setup needs to close all programs to reconfigure your system.
安装程序需要关闭所有程序以便重新配置系统。
Rearrange program files so my programs start faster.
重新安排程序文件以使程序启动得更快
The Independent Value of Pretrial Procedure and the Reconstruction of China Pretrial Procedure;
审前程序的独立价值与我国审前程序的重构
Functioning Situation of China s Procedural Law and Cognition Reconstruction of Optionized Procedure;
我国程序法运行现状与程序优位理念重构
Importance of programming for dairy project construction and general procedure;
乳品项目建设程序化的重要性和一般程序
