程序设计语言的形式语法与语义
Formal syntax and semantics of programming languages
Kenneth Slonneger · 初版 1994 年
- 5次提及
- 2人推荐
- 3位 HN 评论者
Hacker News 读者推荐
1) Kenneth Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/（网上有 PDF）。2) 你可能也会觉得 Cliff B. Jones 的书《Understanding…
rramadass 在 HN 的推荐
……从形式系统（也就是语言）的视角来看待计算，这才是需要结合必要的逻辑/数学知识穿插传达的内容。在学习 PLT（编程语言理论）时，我觉得以下资料很有用：Ken Slonneger 和 Barry Kurtz 著的《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》 - https://homepage.divms.uiowa.edu/~slonnegr/ 以及 https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/，还有 Jean-Francois 的《Understanding Formal Methods》……
rramadass 在 HN 的推荐
……从历史的角度来看。虎书（The Tiger book）、《Compiling with Continuations》和《Lisp in Small Pieces》是我最喜欢的几本。再往后，如果你想学习语言语义验证，可以读《Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach》。
pjmlp 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0201656973
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。