| [1] |
Neil D. Jones. Abstract
interpretation : a semantics based tool for program analysis. Handbook
of Logic In Computer Science. [ bib ] |
| [2] |
Patrick Cousot. Abstract
interpretation: A unified lattice model for static analysis of programs
by construction or approximation of fixpoints. 4th POPL,
pages 238-252, 1977. [ bib ] |
| [3] |
Arnaud Venet. Abstract
interpretation: A methodology for the rapid development of provably
correct static analyzers (slides). arnaud@email.arc.nass.gov. [ bib ] |
| [4] |
Prof Aiken. Abstract
interpretation course slides.
http://www.cs.berkeley.edu/ necula/294softqual/lectures/lecture02.pdf. [ bib ] |
| [5] |
Abstract interpretation course slides.
http://www.cs.bris.ac.uk/Teaching/Resources/COMS30122/lectures/abstract.p.pdf,
2003. [ bib ] |
| [6] |
Abstract interpretation course slides.
http://www.cs.ucdavis.edu/ su/teaching/ecs289c/, 2004. [ bib ] |
| [7] |
Samson Abramsky. An introduction
to abstract interpretation. Journal of Logic and Computation,
1(1):5-41, 1990. [ bib ] |
This file has been generated by bibtex2html 1.74