Y
Hacker News
new
|
ask
|
show
|
jobs
by
int0x80
1395 days ago
"Principles of Program Analysis" covers the subject very well. It's not an easy or beginner book because it's very formal, but very complete and with plenty of examples.