A BLA definition provides operational semantics for its constituent parts.
bla定义为其构成部分提供了操作语义。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
The description of each operation includes a Query Tuner access path graph that explains its operational semantics.
每一个操作的描述都包括一个解释其操作语义的QueryTuner访问路径图。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
We define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.
递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。
For example, until the arrival of languages such as the Business Process Execution language for Web Services (BPEL), BPM notations were missing operational semantics.
例如，在像用于Web服务的业务流程执行语言(Business Process ExecutionLanguagefor Web Services,BPEL)这样的语言出现之前，BPM表示法缺少操作语义。
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 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.
基于并行语言的操作语义，提出一组将语言构造模块转化为硬件电路的规则。
A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。
A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。
应用推荐