程序设计形式语义学基本概念.ppt

程序设计形式语义学 南京理工大学 计算机系 张琨 二○○四年八月二日 南京理工大学 计算机系 2011.09 张琨 zhangkun@mail.njust.edu.cn 一、课程目标 本课程的内容是程序设计理论的组成部分，它以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义。通过本课程的学习，使学生在计算机语言的形式语义学方面打下扎实的基础，掌握形式语义学的基本理论、基本方法和重要结论，并了解国内外必威体育精装版研究动态、热点，为以后的研究做好准备。 二、课程授课模式 采用讲解与讨论相结合模式 三、课程考核方式 1、试卷（提交电子和纸质文档） 四、参考书籍和文献 1.《程序设计语言理论基础》，许满武等译. 北京：电子工业出版社. 2006. 2.《程序设计语言的形式语义》，宋国新等译. 北京：机械工业出版社. 2005. 3.《形式语义学引论》，蒋严，潘海华 著. 北京:中国社会科学出版社. 1998. 4.《形式语义学基础与形式说明》，屈延文 著. 北京:科学出版社. 1998. 5.《形式语义学的稳定论域理论》，陈仪香 著. 北京:科学出版社. 2003. 形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究： 帮助理解语言； 支持语言标准化； 指导语言设计； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性；