【文件属性】:
文件名称:程序设计形式语义学-张琨
文件大小:8.92MB
文件格式:RAR
更新时间:2013-12-13 14:12:30
计算机 程序设计 形式语义学
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。
为什么需要形式语义研究:
帮助理解语言;
支持语言标准化;
指导语言设计;
帮助编写编译器和语言系统;
支持程序验证和软件可靠性;
有助于软件规范化。
【文件预览】:
程序设计形式语义学
----第一部分 基本概念.ppt(9.99MB)
----第二部分 公理语义-Floyd.ppt(591KB)
网友评论
- 只有两章中文的ppt,不使所有的,感觉被坑了,全都可以在网上找到的,还有5个积分
- 不怎好,没有吉林大学那个ppt好。。。
- 不全面的啊 只有少部分的