中英▼
go top

网络释义专业释义

  [数] algebraic semantics

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

基于2278个网页-相关网页

短语

终端代数语义学 [计] terminal algebra semantics

  • algebraic semantics - 引用次数：2

    参考来源 - 正则序类逻辑Institution的Lawvere定理及其初始与终结语义 in C
  • algebraic semantics
  • algebraic semantics

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

新汉英大辞典

代数语义学

  • algebraic semantics
以上来源于：《新汉英大辞典》

百科

代数语义学

代数语义学是形式语义学的一个分支是用代数方法研究计算机语言的语义始于对抽象数据类型的研究数据类型是计算机语言中的重要组成部分用代数结构描述数据类型的语法用公理体系描述数据类型的语义就形成了完整的抽象数据类型并出现了研究这种结构的代数语义学

详细内容

以上来源于： 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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