4 ms·
On the same topic, these lecture notes are pretty approachable: https://cs.au.dk/~amoeller/spa https://cs.au.dk/~amoeller/spa There is also this course, partia
by nextos 3y ago
On the same topic, these lecture notes are pretty approachable: https://cs.au.dk/~amoeller/spa https://cs.au.dk/~amoeller/spa
There is also this course, partially based on Cousot & Cousot, i.e. the OP: https://janmidtgaard.dk/aiws15 https://janmidtgaard.dk/aiws15
- anonymousDan 3y agoConveresely 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/0262044900 https://www.amazon.com/Principles-Abstract-Interpretation-Pa...
- nextos 3y agoOr 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