程序设计形式语义学,南京理工大学 计算机系 张琨 二○○四年八月二日,程序设计形式语义学,参考书籍和文献,1.《程序设计语言理论基础》，许满武等译. 北京：电子工业出版社. 2006. 2.《程序设计语言的形式语义》，宋国新等译. 北京：机械工业出版社. 2005. 3.《形式语义学引论》，蒋严，潘海华 著. 北京:中国社会科学出版社. 1998. 4.《形式语义学基础与形式说明》，屈延文 著. 北京:科学出版社. 1998. 5.《形式语义学的稳定论域理论》，陈仪香 著. 北京:科学出版社. 2003.,,形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问 为什么需要形式语义研究： 帮助理解语言； 支持语言标准化； 指导语言设计； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性； 有助于软件规范化。