[转] 计算机形式语义学参考书
1、周巢尘，《形式语义学引论》，湖南科技出版社
2、周之英，翻译，《计算机形式规范概论》，清华大学出版社
3、屈延文，《形式语义学基础与形式说明》，科学版
4、陆汝钤，《计算机语言的形式语义》，科学版
5、陈意云，（实际是编译的），《形式语义学基础》，中国科技大学出版社
6、陈意云，（实际是编译的），《程序设计语言理论》，中国科技大学出版社
7、宋国新，翻译，《程序设计语言的形式语法及语义》，机工版
8、Semantics of Programming Languages（Carl A.Gunter）MIT Press 1992
9、The Formal Semantics of Programming Languages》（Glynn Winskel）MIT Press 1993
10、Foundations for Programming Languages （John C. Mitchell ）MIT Press 1996
11、Theories of Progamming Languages（John C. Reynolds）Cambridge Press 1998
12、Semantics of Programming Languages（R.D. Tennent）Prentice-Hall 1990
13、Introduction to the Theory of Programming Languages（Bertrand Meyer）Prentice-Hall 1988
14、Semantics of Programming Languages: Structures and Techniques, By Carl A. Gunter
15、Semantic Web Programming,By John Hebeler, Matthew Fisher, Ryan Blace, Andrew Perez-Lopez,2009
16、The Formal Semantics of Programming Languages: An Introduction,By Glynn Winskel,The MIT Press,1993
17、http://www.kframework.org/index.php/Main_Page
18、https://academic.oup.com/jos
http://www.blogjava.net/orangelizq/archive/2009/12/18/306558.html
https://www.barnesandnoble.com/w/formal-semantics-of-programming-languages-glynn-winskel/1100659254?ean=9780262731034
https://mitpress.mit.edu/sites/default/files/sicp/index.html
Formal syntax and semantics provide the basis for understanding programming languages and programs. Mathematically precise definitions of programming languages allow us to uncover misconceptions, contradictions in language specifications, and more importantly, rigorous definitions of semantics allows us to reason about the behaviour of programs. Verification of language-level implementations is impossible without having a formal semantics for the language.