Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:lecture20 [2008/05/08 11:57] vkuncak old revision restored |
sav08:lecture20 [2008/05/08 12:00] vkuncak |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| [[Galois Connection on Lattices]] | [[Galois Connection on Lattices]] | ||
| - | |||
| - | Examples: | ||
| - | * [[Conjunctions of Predicates]] - example of finite lattice. two different orders | ||
| - | * [[Constant Propagation]] - infinite lattice with finite ascending chain property | ||
| - | * Bitwidth analysis | ||
| - | * Interval analysis | ||
| - | * Polyhedra - linear inequalities | ||
| - | * [[Converging in Infinite-Height Lattice]] - dropping conjuncts | ||
| - | |||
| - | [[Designing Abstract Domains]] | ||
| - | |||
| - | [[:sav07_lecture_7|Approximation Expressed Using Formulas]] | ||
| ===== References ===== | ===== References ===== | ||