algebraic semantics
•代数语义学(algebraic semantics) 抽象层次逐层提高
基于2278个网页-相关网页
终端代数语义学 [计] terminal algebra semantics
·2,447,543篇论文数据,部分数据来源于NoteExpress
代数语义学是形式语义学的一个分支是用代数方法研究计算机语言的语义始于对抽象数据类型的研究数据类型是计算机语言中的重要组成部分用代数结构描述数据类型的语法用公理体系描述数据类型的语义就形成了完整的抽象数据类型并出现了研究这种结构的代数语义学
详细内容
应用推荐
模块上移
模块下移
不移动