代数语义学

代数语义学

 

代数语义学是形式语义学的一个分支，是用代数方法研究计算机语言的语义。

始于对抽象数据类型的研究，数据类型是计算机语言中的重要组成部分。

用代数结构描述数据类型的语法，用公理体系描述数据类型的语义，就形成了

完整的抽象数据类型，并出现了研究这种结构的代数语义学。