操作语义学 执 代数语义学 代数 程序设计语言 逻辑 形式语义 模型 关系 公理语义学 功能 指称语义学 函数式描述方法 理论基础 2021/2/52021/2/5 3 代数语义学 理论基础 函数式描述方法 程序设计语言 形式语义 指称语义学 操作语义学 公理语义学 代数 功能执行 逻辑 模型 关系