Principles of Program Analysis
#1462 of 2,654 all-time
Principles of Program Analysis
Nielson & Nielson
5 people recommended it in 3 threads, 2013–2022.
What people on Hacker News said
Nielson & Nielson literally saved my PhD and enabled the creation of the company. I'm so grateful.
Honestly, we use Chapter 2 a lot, it already provides so much value. And in fact, you could write a whole book only about that.
I actually took several courses from the authors some years back, and implemented most of the book for a not-so-simple imperative language, including e.g. abstract interpretation for detecting out-of-bounds array accesses.
It is so foundational to what we do at rev.ng, that we gift a physical copy of the book to every interviewee, even if they don't pass.
Uber hardcore and beautiful approaches to static analysis and optimization, on a very general mathematical framework.
Where it comes up
- Ask HN: Which books do you consider real gems in your field of work/study? 2022 · 3 recommendations
- Ask HN: What's the best computer science book you've read recently? 2017 · 1 recommendation
- Ask HN: What book changed your life in 2013? 2013 · 1 recommendation