1.
Design and Implementation of Certifying Compiler Back End
一个出具证明编译器后端的设计与实现
2.
Certifying Compilation in an Infrastructure for Developing Trustable Software;
可信软件开发框架下的出具证明编译研究
3.
Tool Name : Name of the Managed Resource Compiler Tool.
工具名称:托管资源编译器工具的名称。
4.
Tool Path : Path to the Managed Resource Compiler Tool.
工具路径:托管资源编译器工具的路径。
5.
Stack is automatically allocated and released by C++ complier. It has more efficiency using specific push/pop instructions.
栈由编译器自动分配释放,有专门的入栈出栈指令,具有较高的效率。
6.
VC++ is used to call the assembly compiler to compile the assembler.
并给出了利用VC+调用汇编编译器编译汇编源文件的方法。
7.
Far more important, though, is that compilers must get smarter.
更为重要的是编译器必须变得更聪明。
8.
Compiler Support to Implement LOTOS Formal Specification;
执行LOTOS形式说明的编译器支持
9.
A file containing object code. The output of a compiler or assembler.
包含目标代码的文件。编译器或汇编器的输出。
10.
which will issue certificates of quality and weight.
出具质量和重量证明书，
11.
Server encountered a stack overflow during compile.
服务器在编译过程中遇到堆栈溢出。
12.
compiler limit : token overflowed internal buffer
编译器限制:标记已溢出内部缓冲区
13.
Hanming Encoder and Hanming Decoder Based on VHDL Language Design;
基于VHDL语言的汉明码编码器和译码器的设计
14.
They may require it to be accompanied by a certificate from the same authority showing the date of filing, and by a translation.
本联盟国家可以要求该副本附有上述机关出具的载明申请日的证明书和译文。
15.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
16.
&Program Compiler
程序编译器(&P)
17.
GDB could not parse a type specification output by the compiler.
GDB不能分析编译器产生的某种类型的说明。
18.
certificate of protest
由公证人出具的票据拒付证明书