3 ms·

Converesely if you want a weighty tome on the matter see this recent book by Cousot: https://www.amazon.com/Principles-Abstract-Interpretation-Patrick-Cousot/dp

• nextos 3y ago
  Or Nielson & Nielson, discussed previously in HN: https://link.springer.com/book/10.1007/978-3-662-03811-6 https://link.springer.com/book/10.1007/978-3-662-03811-6