Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav07_lecture_9 [2007/04/19 11:30] vkuncak |
sav07_lecture_9 [2007/05/11 17:25] ghid.maatouk |
||
---|---|---|---|
Line 81: | Line 81: | ||
* [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml|Abstract interpretation]] | * [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml|Abstract interpretation]] | ||
* [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL79.shtml|Systematic Design of Program Analysis Frameworks]] | * [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL79.shtml|Systematic Design of Program Analysis Frameworks]] | ||
+ | |||
+ | ===Tarski's Fixpoint Theorem=== | ||
=== Widening === | === Widening === |