Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:lecture20 [2008/05/08 12:24] vkuncak |
sav08:lecture20 [2008/11/16 13:45] vkuncak |
||
---|---|---|---|
Line 20: | Line 20: | ||
* [[Calculus of Computation Textbook]] Chapter 12, including Section 12.4 | * [[Calculus of Computation Textbook]] Chapter 12, including Section 12.4 | ||
* [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] (original abstract interpretation paper) | * [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] (original abstract interpretation paper) | ||
- | * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] (sections 4,5,6,7 in particular) | + | * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] (sections 4,5,6,7 in particular) ({{schwartzbach.pdf|local pdf}} |
* [[http://www.math.tau.ac.il/~sagiv/courses/pa/notes.ps|Notes on program analysis]], by Alex Aiken | * [[http://www.math.tau.ac.il/~sagiv/courses/pa/notes.ps|Notes on program analysis]], by Alex Aiken | ||
* [[http://web.mit.edu/16.399/|Patrick Cousot's MIT Class]] | * [[http://web.mit.edu/16.399/|Patrick Cousot's MIT Class]] |