计算机科学论坛--求助：形式语义学的相关材料

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

[fly][fly]小弟正在学习形式语义学这门课程，只有一本英文教材，读起来比较吃力，而且我想拓展一下相关知识，在此向诸位哥哥姐姐求助，希望各位同道中人指点，不胜感激！

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

你现在用的是那本教材啊？不知道你想需要哪方面的资料，我手头有一些，如果有需要，我可以给你发过去。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

陈意蕴的《形式语义学基础》

还有另外两本中文教材：
《程序设计语言的形式语义》
外文的好像有
《程序设计语言的形式语法及语义》（翻译过来的，英文好象是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》前几年就已经引进中国了。这本书几乎没有高深的数学内容，可能这本书出的比较早些，书的内容要比前面的几本书都要容易浅些，但作为入门的书，我推荐这本。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

陆汝钤院士的《形式语言与语义》非常好，对于多个不同语义体系介绍的比较透彻，汝指称语义，操作语义，等等。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

以下是引用accueil在2006-11-21 16:44:00的发言：
你现在用的是那本教材啊？不知道你想需要哪方面的资料，我手头有一些，如果有需要，我可以给你发过去。

大大能不能给偶发些语义学的教材,在网上找了半天也没有下载的.

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

谁有形式语义的教材？十分感谢！

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

晕。。。。不要推荐陈意云的。。。压根看不懂

推荐那本“Foundations for Prgramming Languages”，不仅写得好，而且英语也不是很难。陈意云的书基本是抄它的，连课后习题都抄。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

偶也正在找这类的书，谢谢推荐


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	140.625ms