Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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