evaluation of expression or statement stopped.

compiler technology using a combination of compiler for c language type definitions, variable definitions, operators, expressions, statements, function definitions and semantics of function call will be translated into temporal logic formulas.

结合利用编译技术实现的编译器，针对C语言类型定义、变量定义、运算符、表达式、语句、函数定义及函数调用的语义，将源程序翻译为时间逻辑公式。

互联网摘选

with the expression inside the treat specification as in statement ( 5).

TREAT中指定的表达式与语句（5）中相同。

互联网摘选

the ferry only stops in bima fortnightly , and the pier below was very crowded.

这艘渡船两周才在比马港停靠一次，船下的码头上人头挤挤。

互联网摘选

yet even to believers in small government, like this newspaper, there are good reasons for letting taxes take at least some of the strain.

本刊属于笃信小政府的人，甚至对于所有这样的人来说，都有充足的理由认为税收应该分担部分压力。

互联网摘选

i believe china has plenty of reasons to be such a host and what china can contribute to the olympics is not merely a ticket design.

我相信中国有着充足的理由来举办奥运会，中国对奥运会做出的贡献将不仅仅是一张票的设计。

互联网摘选

small high technology companies have several good business reasons why foreign opportunities might be considered in spite of the difficulties inherent in capitalizing on them.

尽管投资上还有不少困难，高技术小公司有许多商业上充足的理由考虑在国外发展的机会。

互联网摘选

this is not the moment, however, nor is there good reason, to abandon decades of integration in europe.

但是，此刻不是放弃已历时数十载的欧洲一体化进程的时候，而且也没有充足的理由放弃。

互联网摘选

based on an analysis of some problems, countermeasures are put forward on the present budget management in higher education institutes.

对当前高校预算管理中存在的一些主要问题的分析，可以发现，有充足的理由提出高校预算管理中的一些改革意见和建议。

互联网摘选

but when the imbalance persists for longer than initially expected, professional growth is not enough to sustain most young doctors.

但当这一不平衡超过最初的期望时，专业成长对于大多数年轻医生就不是最充足的理由了。

互联网摘选

first, there are good reasons to think that oil prices could go down again in the short term.

首先，我们有充足的理由认为油价短期内可能会再次走低。

互联网摘选

yet these three reasons for not discussing insurance provide three excellent reasons why we should learn more about it.

可是，这不愿讨论保险问题的三个原因也正是我们应该更多地学些保险知识的三个充足的理由。

互联网摘选

that's all right. jim. i'm sure you have a good reason for being late.

没关系，吉姆。我确信你迟到有充足的理由。

互联网摘选

there are excellent reasons for not giving athens any immediate relief from its thankless task, however.

不过，有充足的理由不把希腊从徒劳无功的改革努力中立即解救出来。

互联网摘选

while this does increase the download size, both technologies have compelling reasons to be included.

这样做的结果就是下载文件的体积变大，不过两种技术都有充足的理由被支持。

互联网摘选

taxation belongs as a rule to national competence, and does so for many good reasons.

通常来说，税收属于国家权力范畴，其中有很多充足的理由。

互联网摘选

if you have a reason to worry, your gp will want to know.

如果您有充足的理由担心，您的医生会想知道。

互联网摘选

for now, however, german industrialists have plenty of reasons to be cheerful.

但就目前而言，德国工业家有充足的理由感到乐观。

互联网摘选

but there are also powerful arguments for adding to the set of policy tools.

但与此同时，也有充足的理由考虑扩充政策工具组合。

互联网摘选

investors have had plenty of reason to buy gold in the past few months.

过去的几个月让投资者有充足的理由来买入黄金。

互联网摘选

do you really have sound reasons for it?

你真的有充足的理由这样想吗？

互联网摘选