查询词典 formalizes

Though Taiwan's ties with China have warmed considerably since Taiwanese President Ma Ying-jeou took office 20 months ago, Beijing has threatened to invade if the island ever formalizes its de facto independence.

虽然台湾与中国的关系大大升温，因为台湾总统马英九上任20个月前，北京的入侵威胁如果台湾有史以来正式确定其事实上的独立。

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工具编写编译器代码的同时进行正确性证明的方法。

The other benefit of this change is that it formalizes the interface between the kernel, OAL and KITL. These components exchange tables of function pointers andvariable values to communicate with each other, and cannot invoke functions other than those in the tables.

这样做的另外一个好处是它规范了内核，OAL，KITL之间通信的接口，这些组件现在通过交换函数指针表和变量值来互相通信，而不能调用表外的函数。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。