3 ms·

do you know any textbooks on abstract interpretation?

• int0x80 4y 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.