• English only

# Differences

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

sav07_lecture_9 [2007/05/11 17:25]
ghid.maatouk
sav07_lecture_9 [2007/05/11 17:26] (current)
ghid.maatouk old revision restored
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 ===
Line 131: Line 129:
\end{equation*} \end{equation*}
The function $\sigma$ improves the precision of the element of the lattice without changing its meaning. ​ Subsequent computations with these values then give more precise results. The function $\sigma$ improves the precision of the element of the lattice without changing its meaning. ​ Subsequent computations with these values then give more precise results.
-
-