【面向语义的代码生成】姬安明.pdf
吉林大学 硕士学位论文 巡目:百向语义的代码生成 专业:计算机软件 短安明 指导联师:金成植救投 计算机科学系 一九九0年五月
5实例.六、讨论 七,参考文献
一1一 一、前言 形式语义学是研究形式语言及程序的语义的学问,所谓程序的 语义,就是其含义。未知语言成份的语义是通过已知语义成份解释 的,定义语言的语义时,需要两个要亲:一是被定义语言的符号域,二是已知语义的符号域。在这两个域上建立映射关系,被定义语言 的语义就确定了,域及映射都要求是严格的_确定的,不允许有二 义性。这就是语义学的基本要求和优点,也是与非形式化方法的根 本区别.形式语义理论研究发展到今天已日益成熟,已进入工程实用的 阶段。一方面它已被用于多种面向语义的软件系统(见四)。