Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav07_lecture_6 [2007/04/16 01:15] mirco.dotta |
sav07_lecture_6 [2007/05/28 19:40] vasu.singh |
||
---|---|---|---|
Line 83: | Line 83: | ||
x == h(u) | x == h(u) | ||
f(g(y)) == f(v) | f(g(y)) == f(v) | ||
+ | |||
Line 345: | Line 346: | ||
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 354: | ||
+ | ==== 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]] |