查询词典 compiler language

There are a number of hidden contributions to this work, beyond the construction of a fully verified, optimizing compiler: The compiler was built in a modular, pipelined fashion as a series of translations between well-specified intermediate languages, making it possible to add new optimizations or reuse components for other projects.

除了构造一个完全经过验证的优化编译器之外，这项工作还有一些更多贡献：采用了模块化、管道－过滤器设计模式，将整个编译器划分为一系列规范良好的中间语言之间变换的模块，这为加入新优化算法或者是在别的项目中重用这些模块提供了可能。

However, this sort of feature tends to be a configurable option in the C compiler, either using command-line options or #pragma lines, so you have to find out how your own compiler does it.

但是，这种排列的特性在C编译器中很可能是一个配置选项，使用命令行选项或者#pragma行来说明，所以你必须知道你的编译器是如何实现的。

However, this sort of feature is sometimes a configurable option in the C compiler, either using command-line options or #pragma lines, so you have to find out how your own compiler does it.

但是，这种排列特性可能是C编译器的一个配置选项，可以使用命令行选项或#progma 行来实现，所以你必须找出你自己的编译器是如何做的。

Tasking MC683xx compiler for the entry procedures, including compiler generated by the various documents.

tasking for MC683xx编译器使用的入门程序，包括编译通过所生成的各种文件。

C variables in the positioning of the compiler things, as long as the definition of beginners variable and the variable scope, Compiler put a fixed address to this variable.

在C中变量的定位是编译器的事情，初学者只要定义变量和变量的作用域，编译器就把把一个固定地址给这个变量。

A detailed description of Clight can be found in Blazy and Leroy5; of the compiler front-end in Blazy et al.4; and of the compiler back-end in Leroy.11, 13 The complete source code of the Coq development, extensively commented, is available on the Web.12

关于Clight的详细描述参见文献[5]，编译器前端工作参看文献[4]，而后端相关的工作参看文献[11，13]，包含Coq代码和详尽注释的完整源代码可从项目网站[12]获得。

To develop a compiler for embedded system which can be applied in various architectures in short time and generate high quality codes, a retargetable compiler back-end based on Trimaran is designed and implemented.

摘 要：为开发能在短时间应用于不同体系结构并产生高质量代码的嵌入式系统编译器，在Trimaran的基础上设计并实现重定向编译器后端。

In addition to the listed options, all single-letter compiler directives can be specified on the command line, as described in Compiler directive options.

在附加的选项列表中，所有的单字符编译器指令都可以在命令行编译中使用，详情请参照：编译器指令。

If compile time for programs using templates is too burdensome, consult your compiler's user's guide to see what support your compiler offers to avoid redundant instantiations.

如果使用模板的程序的编译时间难于承担，请查阅编译器的用户指南，看看你的编译器能提供什么支持以避免多余的实例化。

Finally, we offer a method to reduce shift communication. In chapter 5, we invent a method based on linear inequalities representation to perform communication optimization and code generation. This method eliminate the restrictions on processable program placed by RSD based method used by RICE Fortran D Compiler or Symbolic Set based method used by PARADIGM Compiler.

第五章提出了一种以线性不等式组作为工具的更加实用化的通讯优化和结点代码生成方法，该方法克服了RICE大学实现FortranD编译器使用的基于规则段描述子的方法以及PARADIGM编译器使用的基于符号集的方法对输入程序的诸多限制，避免了复杂的规则段运算和符号集运算及其造成的无效性，拓宽了可处理的程序类，增强了编译器的处理能力。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"