前言:“形式语义学”概述 o What? 形式语义学:给出对(形式)语言及其程序采 用形式系统方法进行语义定义的方法。 分类:从不同的角度研究程序的含义 操作语义学(执行) 指称语义学(功能) 公理语义学(逻辑) 代数语义学(代数,抽象数据结构) 其他 2021/2/52021/2/5 6 前言：“形式语义学”概述 ⚫ What？ –形式语义学：给出对(形式)语言及其程序采 用形式系统方法进行语义定义的方法。 ⚫ 分类：从不同的角度研究程序的含义 – 操作语义学（执行） – 指称语义学（功能） – 公理语义学（逻辑） – 代数语义学（代数，抽象数据结构） – 其他