欢迎来到天天文库
浏览记录
ID：36565731
大小：9.11 MB
页数：52页
时间：2019-05-09
《(自然科学)形式语义学 基本概念》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、程序设计形式语义学南京理工大学计算机系张琨二○○四年八月二日程序设计形式语义学参考书籍和文献1.《程序设计语言理论基础》，许满武等译.北京：电子工业出版社.2006.2.《程序设计语言的形式语义》，宋国新等译.北京：机械工业出版社.2005.3.《形式语义学引论》，蒋严，潘海华著.北京:中国社会科学出版社.1998.4.《形式语义学基础与形式说明》，屈延文著.北京:科学出版社.1998.5.《形式语义学的稳定论域理论》，陈仪香著.北京:科学出版社.2003.形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。为什么需要形式语义研究：帮助理解语言；支持语
2、言标准化；指导语言设计；帮助编写编译器和语言系统；支持程序验证和软件可靠性；有助于软件规范化。
此文档下载收益归作者所有
