指称语义 指称语义的基本概念是给每一段程序实体定义一个数 学意义上的对象,和一个从实体实例向数学意义对象 的映射的函数 特点:不但对全部程序赋予全文而且对程序设计语法 每一个语法成分短语(表达式,命令,声明..) 都给予含义。 每一个语法成分(短语)的含义是以它的自 成分的含义的术语来定义的。 即语义结构平行于语法结构 语义函数:程序设计语言的语义利用映射函数来证 明 语义函数将短语映射到它的指称。指称语义 • 指称语义的基本概念是给每一段程序实体定义一个数 学意义上的对象，和一个从实体实例向数学意义对象 的映射的函数 • 特点： 不但对全部程序赋予全文而且对程序设计语法 每一个语法成分短语（表达式，命令，声明…） 都给予含义。 每一个语法成分（短语）的含义是以它的自 成分的含义的术语来定义的。 即 语义结构 平行于语法结构。 • 语义函数： 程序设计语言的语义利用映射函数来证 明。 语义函数将短语映射到它的指称