Hacker News new | ask | show | jobs
by bsedlm 1409 days ago
do you know any textbooks on abstract interpretation?
1 comments
int0x80 1409 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.
link