中英▼
go top

operational semantics

  • 操作语义学；操作语义

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

  [计] 操作语义学

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

基于2308个网页-相关网页

  运算语义

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

基于124个网页-相关网页

短语

Formal Operational Semantics 形式化操作语义

data operational semantics 数据操作语义

the operational semantics 操作语意

operational semantics model 操作语义模型

structured operational semantics 结构化操作语义

big-step operational semantics 大步操作语义

Dynamic structured operational semantics 动态结构化操作语义

operational E 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

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

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

    youdao

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

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

    youdao

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

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

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