查询词典 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之间通信的接口，这些组件现在通过交换函数指针表和变量值来互相通信，而不能调用表外的函数。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。