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.
但清算程序与重整程序具有不同的特点,应根据这两个不同的程序,对破产管理人制度和重整人制度进行各自不同的立法设计,以更好地实现破产法的宗旨。
Arguably, the reprogramming of the defensive line and increased mentality differentials have been the undoing of both the Rule of Two and dual mentality frameworks.
将后防线系统及不同心态差别的程序重写,这对2的规则和双重心态框架来说无疑是毁灭性的。
- Milo is working on the all important adaptor - Alright, Milo
- 麦洛写最重要的接口适配程序- 好的,麦洛
The shared Spelling component is configured incorrectly. Please run Setup again.
共享的拼写组件配置不正确。请重新安装程序。
Specifies whether to override the default packaging behavior for a selected assembly
指定是否重写选定程序集的默认打包行为
Once common functions are written in assembly language they could then be copied into a new program without having to be written again.
一旦用汇编语言来编写公用程序,它们就不必重新书写而可被复制到新的程序中去。
a program written in FORTRAN.
用fortran语言所写的程序。
a program written in LISP.
用LISP语言所写的程序。
conversational translator writing system
会话式翻译程序写系统
To design, write, and test programs.
设计、编写、测试程序。
Making Socket Communication Programme with Delphi;
利用Delphi编写Socket通信程序
Programming System TrayIcon Using C~(++) Builder;
使用C~(++) Builder编写托盘程序
Type %1 from assembly %2 tried to override method %3 but does not implement or inherit that method.
程序集 %2 的类型 %1 试图重写方法 %3,但并不实现或继承该方法。
Type %1 from assembly %2 does not have sufficent permission to override super type methods.
程序集 %2 中的类型 %1 没有重写超类型方法的足够权限。
Sorry, there is no valid speller. You should run Setup and reinstall.
对不起,没有可用的拼写检查工具。请执行安装程序,重新安装。
Rewrite your software from scratch,copying and tailoring useful parts of existing software.
从已存在的软件上分离,考贝,裁剪出有用的部份重写你的程序。
As you will see, many DOS applications overwrite this section of the DOS command processor in memory.
正如你看到的,很多DOS应用程序在存储中重写DOS命令程序的这一部分。
If, some time ago, another programmer wrote an excellent subroutine to deal cards, it would make sense to reuse that logic.
如果以前有人编写了一段很优秀的发牌子程序,那么重新用那个子程序是有意义的。
When overwrite occurs, the resident section of the command processor reloads the transient portion from disk.
当重写发生时,命令处理程序的常驻程序段从磁盘再次装入暂驻存储区。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号