2) assembly code certification
汇编代码验证
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
3) object code verification
目标代码验证
1.
A method of object code verification for debugging compiler;
一种可用于编译器调试的目标代码验证方法
4) microcode verification system
微代码验证系统
5) Authentication code
验证码
1.
Design and Implementation of A Novel Authentication Code Based on Database Technique;
一种基于数据库技术的验证码设计与实现
6) Validate code
验证码
1.
The Check-up Scheme based upon Validate Code and Its Implement;
基于验证码技术的网站上传检测方案及其实现
补充资料：代码生成
代码生成
code generation
daima Shengeheng代码生成(，de generation)把语法语义分析后的中间结果转换成等价的目标程序或目标程序模块的过程。中间结果是用三元式、四元式或逆波兰式等中间语言表示的程序。目标程序是用目标语言书写的。目标语言可以是机器语育、汇编语言乃至高级语育。随着计算机的编译环境和执行环境的不断完善，不仅能产生可直接执行的目标程序，也能生成可再定位的或可连接的目标程序模块，并最终通过连接装人程序构成可直接执行的目标程序。 代码生成不但与编译有关，而且与运行环境有关。所生成的目标程序应当符合连接装人所要求的规范。代码生成中存储分配和寄存器分配是直接影响目标程序功效的重要且复杂的问题，应给予足够重视。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条