形式语义学 基本概念
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ຫໍສະໝຸດ Baidu
形式语义学是对形式语言及其句子采用 形式系统方法进行语义定义的学问。 形式系统方法进行语义定义的学问。 为什么需要形式语义研究： 为什么需要形式语义研究：
帮助理解语言； 帮助理解语言； 支持语言标准化； 支持语言标准化； 指导语言设计； 指导语言设计； 帮助编写编译器和语言系统； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性； 支持程序验证和软件可靠性； 有助于软件规范化。 有助于软件规范化。
程序设计形式语义学
南京理工大学 计算机系 张琨 二○○四年八月二日 ○○四年八月二日
参考书籍和文献
1.《程序设计语言理论基础》，许满武等译. 1.《程序设计语言理论基础》 许满武等译. 北京：电子工业出版社. 北京：电子工业出版社. 2006. 2.《程序设计语言的形式语义》，宋国新等译. 2.《程序设计语言的形式语义》 宋国新等译. 北京：机械工业出版社. 北京：机械工业出版社. 2005. 3.《形式语义学引论》，蒋严，潘海华 著. 北 3.《形式语义学引论》 蒋严， 中国社会科学出版社. 京:中国社会科学出版社. 1998. 4.《形式语义学基础与形式说明》，屈延文 著. 4.《形式语义学基础与形式说明》 北京:科学出版社. 北京:科学出版社. 1998. 5.《形式语义学的稳定论域理论》，陈仪香 著. 5.《形式语义学的稳定论域理论》 北京:科学出版社. 北京:科学出版社. 2003.