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