1) compiler certification
编译证书
2) "Yishu Huibian"
《译书汇编》
4) certifying compilation
验证编译
5) compiler verification
编译验证
6) certifying compiler
认证编译器
1.
The certifying compiler for type-based annotation, which is a key component of the safety infrastructure, can translate programs, written in a type safe subset of the C programming language, into highly optimized Intel x86/linux assembly language programs, and also can produce the assembly language programs with annotation based on type-safety policy.
基于类型注解的认证编译器是安全策略系统的核心部件 ,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intelx86 /linux汇编语言程序 ,而且还可以根据类型安全策略的要求产生带注解的汇编程序 实验结果表明 ,新设计的认证编译器可实现 :①类型安全的C语言子集的编译 ;②许多标准的局部优化 ;③可以对数组运行时越界操作进行检查 由于安全策略系统的证明是建立在含注解的代码基础之上的 ,因此 ,该认证编译器在移动代码安全检查中非常有
2.
We have implemented a certifying compiler that translates programs written in a type safe subset of the C programming language into highly annotated .
我们设计的编译器———认证编译器———已经实现了这些算法 ,并完成了从用C编程语言的类型安全子集编写的源程序到携带注解的Intelx86 /linux汇编语言程序的编译过程 。
补充资料：残损检验证书
残损检验证书（InspectionCertificateonDamagedCargo）是证明进口商品残损情况的证件。适用于进口商品发生残、短、渍、毁等情况；可作为受货人向发货人或承运人或保险人等有关责任方索赔的有效证件。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条