查询词典 optimizing compiler

The symbolic compiler was written by C, and has transportability.

符号编译器软件全部用C语言编写，以使软件具有可移植性的特点。

The dim level for the uneditable objects is controlled through use of a slider bar, which can be found on the *Schematic -- Compiler* page of the _Preferences_ dialog (*DXPPreferences*).

那些不可编辑对象的灰暗程度可以通过一个下拉条来控制，该下拉条可以在参数设置中的*Schematic -- Compiler*界面上找到(*DXPPreferences*)。

Verifiably type safe, due to the limitations of the verification process or the compiler.

而泛型提高了安全性，使得我们能编写更加安全的代码。

The compiler generates prolog and epilog code to save and restore the ESI, EDI, EBX, and EBP registers, if they are used in the function.

在ESI、EDI、EBX和EBP寄存器当中，如果她们在程序中被使用到的话，编译器会生成序言和结语代码来存储和恢复这些被使用的寄存器的内容。

Time, when the compiler compiles the other .

一次，当编译器编译其他。

You do not want a compiler that decompresses this amount of data when the user attempts to open your ebook.

你不想编译，这个数据量减压用户试图打开你当电子书。

This is usually because the corresponding Jamfile.v2 excludes this test for the given combination of compiler and build attributes.

这是很有用的，因为对应的 Jamfile.v2 针对给定的编译器和构建属性组合排除了这些测试。

The Novice fidgeted nervously and presented his Compiler of Source to the Master.

新手战战兢兢讲述了他的源代码编译器。&这怎么用&？新手问。

The remainder of this paper is organized as follows. Section 2 compares and formalizes several approaches to establishing trust in the results of compilation. Section 3 describes the structure of the CompCert compiler, its performance, and how the Coq proof assistant was used not only to prove its correctness but also to program most of it.

本文后续部分组织如下：第二节比较几种&建立可信编译结果&的方法并给出形式化定义；第三节介绍CompCert编译器的结构、性能、以及在使用Coq工具编写编译器代码的同时进行正确性证明的方法。

You goofed, but the compiler could not help you.

这可能是出于不小心，把一些程序的逻辑处理代码放在了#if/#endif片断内了。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。