程序设计形式语义学张琨
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。为什么需要形式语义研究：帮助理解语言；支持语言标准化；指导语言设计；帮助编写编译器和语言系统；支持程序验证和软件可靠性；有助于软件规范化。
下载地址
用户评论
只有两章中文的ppt，不使所有的，感觉被坑了，全都可以在网上找到的，还有5个积分
不怎好，没有吉林大学那个ppt好。。。
不全面的啊 只有少部分的