北航研究生课程_程序语言设计原理教程_第17章.pptVIP

第16章 指称语义的原理与应用 * * 指称语义学是Christopher Strachey和Dana Scott在1970年提出的。指称语义学是Christopher Strachey和Dana Scott在1970年提出的。指称语义学是Christopher Strachey和Dana Scott在1970年提出的。 指称语义学的一个显著特征是: 程序中的每一个短语(表达式、命令、声明等)都有其意义。它是与语言的语法结构平行的。每个短语的语义函数就是短语的指称意义。其现代名称为指称语义学。 16.1 指称语义原理 从数学的观点，一个程序可以看作是从输入到输出的映射P(I)→O，即输入域(domain)上的值，经过程序P变为输出域(range)的值。 φ〖p〗→d (p∈P，d∈D)。 语义域D中的数学实体d, 或以辅助函数表达的复杂数学实体d，称为该短语的数学指称物，即短语在语义函数下的指称语义。 指称语义描述的是语义函数映射的后果，不反映如何映射的过程，更没有过程的时间性。而程序设计语言的时间性只能反映到值所表达的状态上。 ● 语义函数和辅助函数 描述二进制数的语义 二进制数 Numeral ::= 0 (16.1-a) ｜ 1 (16.1-b)