Editing Abstract interpretation (section)

==External links==
* [https://www.di.ens.fr/~cousot/AI/ A web-page on Abstract Interpretation maintained by Patrick Cousot]
* [http://www.cs.unipr.it/~bagnara/Papers/PDF/Q485.pdf Roberto Bagnara's paper showing how it is possible to implement an abstract-interpretation based static analyzer for a C-like programming language]
* [http://staticanalysis.org The Static Analysis Symposia], [https://dblp1.uni-trier.de/db/conf/sas/ proceedings] appearing in the Springer [[LNCS]] series
* Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI), affiliated at the [[Symposium on Principles of Programming Languages#Affiliated events|POPL conference]], [https://dblp.uni-trier.de/db/conf/vmcai/ proceedings] appearing in the Springer [[LNCS]] series
; Lecture notes
* [http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ Abstract Interpretation]. Patrick Cousot. MIT.
* [https://web.archive.org/web/20221123194810/https://people.cs.ksu.edu/~schmidt/papers/schmidt/Escuela03/home.html David Schmidt's lecture notes on abstract interpretation]
* [http://cs.au.dk/~amoeller/spa/ Møller and Schwarzbach's lecture notes on Static Program Analysis]
* [http://www.dsi.unive.it/~avp/ Agostino Cortesi's lecture notes on Program Analysis and Verification]
* [http://www.mpi-inf.mpg.de/vtsa08/slides/sutre2.pdf Slides by Grégoire Sutre going through every step of Abstract Interpretation with many examples - also introducing Galois connections]

{{Program analysis}}
[[Category:Abstract interpretation| ]]
[[Category:Program analysis|Abstract interpretation]]