LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture19 [2008/04/30 15:11]
vkuncak
sav08:lecture19 [2008/04/30 15:13]
vkuncak
Line 12: Line 12:
  
 [[Review of Fixpoints in Semantics]] [[Review of Fixpoints in Semantics]]
- 
-[[Abstract Interpretation]] 
- 
-[[Implication is Preorder]] 
- 
-Examples: ​ 
-  * [[Conjunctions of Predicates]] - example of finite lattice. two different orders 
-  * [[Constant Propagation]] - infinite lattice with finite ascending chain property 
-  * [[Converging in Infinite-Height Lattice]] - dropping conjuncts