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_6 [2007/04/16 01:15] mirco.dotta |
sav07_lecture_6 [2007/04/16 10:03] mirco.dotta |
||
|---|---|---|---|
| Line 345: | Line 345: | ||
| Simple example with small ascending chains but large size: constant propagation. | Simple example with small ascending chains but large size: constant propagation. | ||
| + | |||
| ==== Example analyses ==== | ==== Example analyses ==== | ||
| Line 352: | Line 353: | ||
| + | ==== References ==== | ||
| + | * A wonderful tutorial by Prof. Cousot, explaining in fairly simple language what abstract interpretation is all about. [[http://www.di.ens.fr/~cousot/COUSOTtalks/VMCAI05_TOOLS.shtml|Tutorial Abstract Interpretation]] | ||