中英▼
go top

algebraic semantics

  • 代数语义学

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

  [数] 代数语义学

•代数语义学（algebraic semantics） 抽象层次逐层提高

基于2280个网页-相关网页

  [数] 代数语义

...Verilog 代数语义研究 - Key words: Verilog; algebraic semantics; soundness; completeness; normal form reduction; event; event [gap=791]关键词: Verilog;代数语义;可靠性;完备性;范式归约;事...

基于122个网页-相关网页

  代数语意学

... 代数规划语言 algebraic programming language 代数语意学 algebraic semantics 代数记号 algebraic sign ...

基于1个网页-相关网页

短语

algebraic parallel semantics 代数并发语义

  • 代数语义学 - 引用次数：2

    参考来源 - Institution中自由合并理论的初始与终结语义 in C
    代数语意学
  • 代数语义学

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

Algebraic semantics

  • abstract: In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.

以上来源于: WordNet

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

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

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