说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 出具证明编译器
1)  certifying compiler
出具证明编译器
1.
Implementation of certifying compiler prototype;
一个出具证明编译器原型系统的实现
2.
It uses a certifying compiler to generate formal specifications for assembly code,so that programmers are freed fro.
文章主要描述该方法在出具证明编译器中的实现。
更多例句>>
2)  certifying compiler PLCC
出具证明编译器PLCC
3)  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汇编语言程序的编译过程 。
4)  compiler front-end construction tool
编译器构造工具
1.
In order to solve these problems, a new compiler front-end construction tool -JLUCC (Jilin University Compiler Compiler) has been designed and implemented.
针对多种典型的编译器构造工具存在对文法有限制、嵌入式语义动作有负面影响,目标语言单一和调试维护困难等一些问题,设计并实现了一种新的编译器构造工具———JLUCC(JilinUniversityCompilerCompil-er)。
5)  Compiler Development Tools
编译器开发工具
6)  compilation-tools
编译工具
例句>>
补充资料：出具证明文件重大失实罪
出具证明文件重大失实罪：指承担资产评估、验资、验证、会计、审计、法律服务等职责的单位及其人员。不负责任，出具的证明文件有重大失实，造成严重后果的行为。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条