0 a person who compiles something -- 編纂者
a dictionary compiler 詞典編纂者
1 a computer program that changes instructions into machine language -- 編譯器(把指令翻譯成可執行機器語言的程式)
Dictionary compilers recognise this problem and provide separate definitions for such compounds.
In many cases this approach may be too conservative, but as a general principle we should assume the competence of the compilers.
Since the two books were part of the same project, perhaps both writers were also on the team of compilers.
Furthermore, could be the adequate theory to establish the correctness of functional compilers.
A second direction is to examine how the full -calculus can be used to assert the correctness of some phases of realistic compilers.
In principle, good compilers could pass them in registers.
Our method can extend the power of compilers for such languages in revealing the available parallelism automatically.
We believe that the construction of this simple touch optimization algorithm clearly illustrates how semantics can contribute to the development of advanced compilers.