程序分析原理
Principles of program analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin · 初版 1999 年
- 15次提及
- 7人推荐
- 11位 HN 评论者
Hacker News 读者推荐
关于编译器理论，推荐《程序分析原理》（Principles of Program Analysis，作者 Nielson、Nielson、Hankin）。它对我们在 rev.ng 所做的工作来说实在太基础太核心了，以至于每个来面试的人我们都会送一本实体书，哪怕面试没过也送。
aleclm 在 HN 的推荐
……永远不可能发生异常，这个检查就会被移除。至于测试“y == 0”这个“简单”例子，其实它本身就已经是不可判定的了。如果你感兴趣，可以去看看 Nielson 的《程序分析原理》，我记得里面专门推导了这个特例（MOP 常量传播的不可判定性）。而且，这本书作为该领域的入门读物也很棒。
fmap 在 HN 的推荐
……作者页面看起来楼主提到的那本书已经没再更新了，所以记住那代表的是80年代的学术现状。Nielson 和 Nielson 的工作还是比较近期的。后续进阶我也推荐读《程序分析原理》。http://www.amazon.com/Principles-Program-Analysis-Flemming-N...
timtadh 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3540654100
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。