A operational semantics的意思|示意

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

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

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。

This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.

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

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.

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

The description of each operation includes a Query Tuner access path graph that explains its operational semantics.

每一个操作的描述都包括一个解释其操作语义的 Query Tuner 访问路径图。