程序设计语言的形式语义
The formal semantics of programming languages
Glynn Winskel · 初版 1993 年
- 7次提及
- 5人推荐
- 7位 HN 评论者
Hacker News 读者推荐
……Adam Chlipala 写的（“FRAP”）——可以在这里免费获取：http://adam.chlipala.net/frap/。它是 MIT 6.822 课程的基础教材，还配套了 Coq 形式化代码（以及 Coq 写的作业题 psets）。* Glynn Winskel 的《The Formal Semantics of Programming Languages: An Introduction》。
p0llard 在 HN 的推荐
Glynn Winskel 的《The Formal Semantics of Programming Languages》（1993年）——虽然有点年头了，但依然写得非常好。涵盖了基础语义学/类型论。Benjamin Pierce 的《Types and Programming Languages》（2002年）——你懂的，就是你手边最基础的类型论宝典。Benjamin Pierce 的《Advanced…
peterfirefly 在 HN 的推荐
……然后证明这个定义等价于操作语义的定义。在一些优秀的教材里（比如 Winskel 的《The Formal Semantics of Programming Languages》），已经针对玩具语言给出了这种证明的非形式化版本。现在差的只是把它扩展到 C 语言级别，并向下落实到形式化验证的层面。我还想指出的是，目前有一个正在进行的研究项目也采用了同样的路径，即“基于抽象解释的……
pascal_cuoq 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。