博文
形式语义学基础
||
陈意蕴的 《形式语义学基础》
还有另外两本中文教材：
《程序设计语言的形式语义》
外文的好像有
《程序设计语言的形式语法及语义》（翻译过来的，英文好象是Formal syntactic and semantic of programming language）
还有《指称语义 denotational semantic》
形式语义方面的资料相当多，随便去网上就可下一大堆，不过学懂是另一回事了。
网上有几本免费的形式语义学电子版教材，国内正式出版的：
1、周巢尘，《形式语义学引论》，湖南科技出版社（绝版）
2、周之英，翻译，《计算机形式规范概论》，清华大学出版社（绝版）
3、屈延文，《形式语义学基础与形式说明》，科学版（绝版）
4、陆汝钤，《计算机语言的形式语义》，科学版
5、陈意云，（实际是编译的），《形式语义学基础》，中国科技大学出版社
6、陈意云，（实际是编译的），《程序设计语言理论》，中国科技大学出版社
7、宋国新，翻译，《程序设计语言的形式语法及语义》，机工版
1、《Semantics of Programming Languages》（Carl A.Gunter）MIT Press 1992
这是目前也许是最流行的一本教材，主要采用了简单类型的Lambda Calculus和范畴学来表达语义学，内容取舍比较合理，章节安排也不错，属于高级教程，评价也很高，很多大学都推荐使用。
2、《The Formal Semantics of Programming Languages》（Glynn Winskel）MIT Press 1993
另一本流行的一本教材，作者Winskel是剑桥大学的教授，该书在欧洲几乎成为标准教材了，评价也很高，中高级教程，很多大学都推荐使用，已经出了中文版，大家可以到书店买到。
3、《Foundations for Programming Languages 》（John C. Mitchell ）MIT Press 1996
作为桌案上的参考书就最好了，作者是斯坦福教授。这本书是一本巨作，内容齐全，大量泛代数内容，绝对是超高级教程，但作为教材的话内容太多了，850页，真的是本大部头，复印这本书，足足花了我两个小时和20刀！
4、《Theories of Progamming Languages》（John C. Reynolds）Cambridge Press 1998
Reynolds是CMU教授，他的这本教材出发角度和上面的几本有所不同，按作者的话来说，就是尽量避免使用高深的数学理论，诸如范畴学之类的东西，同时这本书内容涉及也比较广，甚至有并发理论和CSP。该书在评价非常高，推荐大家看。
5、《Semantics of Programming Languages》（R.D. Tennent）Prentice-Hall 1990
这本书的最大特点就是采用imperative language作为研究对象，和国内的教学最符合了，国外很多大学，特别是欧洲的大学，普遍采用函数式汝ML语言作为研究和教学语言。作者R.D. Tennent在八十年代初，曾经出版过一本《Principles of Programming Languages》，国际国内都很多人参考过这本书。
6、《Introduction to the Theory of Programming Languages》（Bertrand Meyer）Prentice-Hall 1988
作者大家都很熟悉了，他的另一本书《Object-Oriented Software Construction》前几年就已经引进中国了。这本书几乎没有高深的数学内容，可能这本书出的比较早些，书的内容要比前面的几本书都要容易浅些，但作为入门的书，我推荐这本。
陆汝钤院士的《形式语言与语义》非常好，对于多个不同语义体系介绍的比较透彻，汝指称语义，操作语义，等等。
http://www.ieee.org.cn/dispbbs.asp?BoardID=64&id=38540&replyID=63122&star=2&skin=0
https://blog.sciencenet.cn/blog-209720-265972.html
上一篇：联想首席科学家——TOP500两台千万亿次机都不合格
下一篇：如何作研究？
