中英▼
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 大步操作语义

 更多收起网络短语
  • 操作语义学 - 引用次数：1

    参考来源 - 基于结构化操作语义的安全协议分析框架研究 in C
    作业语意学
  • 运算语义
    操作语义

·2,447,543篇论文数据，部分数据来源于NoteExpress

Operational semantics

  • abstract: Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system.

以上来源于: WordNet

双语例句

  • 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
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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