形式语义学 - 程序设计语言原理.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 指称语义学 * * * * 指称语义学 直接指称语义 两个方面 定义指称语义（五个部分） 完整语言 某个语法单位 给出具体语法元素的指称语义解释（语义函数） 根据该语法元素所属的语法域的具体的语义指派函数； 确定已知条件（静态环境，动态环境） 给出语义解释（函数；值……） * * 直接指称语义 主要原理： 从功能角度出发，对每一个语法单位（如程序、声明、语句、表达式、变量、整数、标识符等），给出其功能的严格形式化描述，即定义功能函数； 功能函数是描述一个语法单位的语义，因此称为语义函数（语义物）； 本质上是建立语法域到语义函数域的映射； 语法域 语义函数域 语义指派函数 * * 直接指称语义 直接指称语义的定义包括： 语法域 （Syntax Domain） 抽象语法 （Abstract Syntax） 语义域 （Semantic Domain） 语义函数 （Semantic Functions） 预定义函数 （Predefined Functions） 关键：掌握好每个语法单位的功能； 语言不一样，相同的语法单位其语义也不尽相同； * * 过程式语言的直接指称语义 语法域（根据语言定义应给出具体定义） 程序 声明（还可以