中英▼
go top

operational semantics

  • 操作语义学；操作语义

网络释义专业释义英英释义

  [计] 操作语义学

操作语义学(Operational semantics)——通过语言实现方式定义语言语义，就语言成分所应计算机操作作语言成分语义。

基于2308个网页-相关网页

  运算语义

... operational reliability 工咨靠性 operational semantics 运算语义 operational sequence 操壮序 ...

基于124个网页-相关网页

  语义学

...。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

基于1个网页-相关网页

短语

Formal Operational Semantics 形式化操作语义

Label Operational Semantics 演算的标签操作语义

structural operational semantics 操作语义

A operational semantics 操作语义

data operational semantics 数据操作语义

the operational semantics 操作语意

operational semantics model 操作语义模型

structured operational semantics 结构化操作语义

big-step operational semantics 大步操作语义

 更多收起网络短语

双语例句

  • A BLA definition provides operational semantics for its constituent parts.

    bla定义为其构成部分提供了操作语义。

    youdao

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

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

    youdao

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

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

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定