1) code verification
代码验证
2) NC verification
NC代码验证
3) assembly code certification
汇编代码验证
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
4) object code verification
目标代码验证
1.
A method of object code verification for debugging compiler;
一种可用于编译器调试的目标代码验证方法
5) code
代码
1.
A Algorithm About Creating Bopomofo Code by Unicode Characters;
Unicode汉字字符拼音代码生成算法
2.
Carries out the Processing that the Code Adjusts to Use the Database Editor in the Flash Mx 2004th;
在Flash Mx 2004中实现代码调用库剪辑的处理
3.
Process Control of UNIX Systems and It s Code Analyse;
UNIX系统的进程控制与其代码分析
6) codes
代码
1.
After discussing the importance and the necessity of optimizing VB application program,this paper introduces some specific methods of optimizing VB application program codes and gives some detailed explanation.
在讨论了VB应用程序优化的重要性和必要性的基础上 ,提出了针对VB应用程序源代码进行各种具体优化的方法 ,并对其作出了详细的解释 ,实施这些优化方法能提高VB应用程序的速度 ,缩小VB应用程序的大小 ,减小VB应用程序所需内存空
参考词条
补充资料：代码生成
代码生成
code generation
daima Shengeheng代码生成(，de generation)把语法语义分析后的中间结果转换成等价的目标程序或目标程序模块的过程。中间结果是用三元式、四元式或逆波兰式等中间语言表示的程序。目标程序是用目标语言书写的。目标语言可以是机器语育、汇编语言乃至高级语育。随着计算机的编译环境和执行环境的不断完善，不仅能产生可直接执行的目标程序，也能生成可再定位的或可连接的目标程序模块，并最终通过连接装人程序构成可直接执行的目标程序。 代码生成不但与编译有关，而且与运行环境有关。所生成的目标程序应当符合连接装人所要求的规范。代码生成中存储分配和寄存器分配是直接影响目标程序功效的重要且复杂的问题，应给予足够重视。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。