Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:conjunctions_of_predicates [2008/05/08 12:43] vkuncak |
sav08:conjunctions_of_predicates [2008/05/08 12:46] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Abstract Interpretation with Conjunctions of Predicates ====== | ====== Abstract Interpretation with Conjunctions of Predicates ====== | ||
| - | Parameters: a finite set of formulas $P_1,\ldots,P_n$ in program variables. | + | Parameters: a finite set of formulas ${\cal P} = P_1,\ldots,P_n$ in program variables. |
| + | |||
| + | for $a \in A$ we have $a \subseteq {\cal P}$ | ||
| Using [[Abstract Interpretation Recipe]] we construct: | Using [[Abstract Interpretation Recipe]] we construct: | ||
| Line 9: | Line 11: | ||
| * best abstract post for simple programming language | * best abstract post for simple programming language | ||
| + | Finite lattice. | ||
| + | |||
| + | Two different orders. | ||