查询词典 compiler

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

Error recovery in syntax analysis is one of the most important parts of the intelligence in the compiler.

语法分析中的错误恢复是现代编译器中智能感知功能的重要组成部分，错误恢复的效果直接影响到智能感知功能的性能。

At the same time, use the compiler to create applications that generate only a single executable file .

同时，使用编译器创建的应用程序只生成单个可执行文件。

The compiler lets us link object files together to form an executable.

编译器允许我们把目标文件链接在一起以形成可执行文件。

Having just a procedure INTERFACE or EXTERNAL declaration will allow the compiler to continue without error, but the linker will not be able to resolve your call to an address or reference to a variable because there is no procedure code or variable space reserved.

只是有程序接口或外部的公告将会不需要错误就允许编辑者继续，因为没有程序密码，所以但是连接器将会无法解决对住址或关于一个变数的参考你呼叫，否则可变的空间保留。

Traditionally,Yacc and Lex is a pair of tools to be used to facilitate writing compilers.In its non-compiler oriented applications as described in this paper,they are used to implement the translation between a program′s runtime internal data structure adn a static external store in a disk file form to catch the internal data structure.

传统上，Yacc和Lex是作为一对用来帮助实现编译器的工具，本文描述了二者在非面向编译器的应用中，它们是如何被用来实现把一个程序运行环境中的内部数据结构和以一个磁盘文件的形式出现的用来保存内部数据结构的静态外中存储之间的相互转换。

When you write your own common utility function, the compiler cannot factor out this duplicated code.

当你编写自己的通用有用方法时，编译器不能提炼出这个重复代码。

NET languages fall somewhere in between these two basic compiler categories.

NET语言这两类基础编译器的编译器。

Guidelines on the use of FET as well as the IAR compiler environment for the use of guidance and attention.

详细说明：送给玩430的朋友。关于FET的使用指南以及IAR编译环境使用指南和注意事项。

Project definition file - specifies the properties of a project in a platform and compiler independent way.

工程的定义文件-指定工程在独立方式的平台上和编译器上的属性。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。