Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:lecture20 [2008/11/16 13:45]
vkuncak
sav08:lecture20 [2008/11/16 13:45] (current)
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) ({{schwartzbach.pdf|local pdf}}+  * [[http://​www.brics.dk/​~mis/​static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] (sections 4,5,6,7 in particular) (also {{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]]
 
sav08/lecture20.txt · Last modified: 2008/11/16 13:45 by vkuncak
 
© EPFL 2018 - Legal notice