Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture19 [2008/04/30 15:11]
vkuncak
sav08:lecture19 [2008/04/30 15:13] (current)
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 
  
 
sav08/lecture19.txt · Last modified: 2008/04/30 15:13 by vkuncak
 
© EPFL 2018 - Legal notice