英汉例句

• this thesis then investigates the operational semantics of msvl. a new configuration with intervals for msvl programs is defined.

  首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。

• operational semantics and denotational semantics are two type of formal semantics.

  其中操作语义学和指称语义学是形式语义学的两大类别。

• we define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.

  递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。

• in the model, the operational semantics describes the main features of class loading such as class loading constraints scheme, field and method resolutions etc.

  其中，操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性；

• based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established.

  基于并行语言的操作语义，提出一组将语言构造模块转化为硬件电路的规则。

• giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

  提出了可以解决动态模糊性问题的dfl程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

• this paper studies hardware synthesis from parallel programs. based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established.

  基于并行语言的操作语义，提出一组将语言构造模块转化为硬件电路的规则。

• operational semantics and algebraic laws are very useful in practice.

  形式化语义和代数法则在实践应用是很有用的。

• there may also be operational semantics to consider when introducing a change.

  在引入更改时，还可能需要考虑操作语义。

• all the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.

  我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。

• this article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.

  本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。