Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
sav07_lecture_9_skeleton [2007/04/17 19:58] vkuncak |
sav07_lecture_9_skeleton [2007/04/17 19:58] vkuncak |
||
|---|---|---|---|
| Line 32: | Line 32: | ||
| \end{equation*} | \end{equation*} | ||
| where $a^1,\ldots,a^n$ are variables ranging over a lattice $A$ (one for each control-flow graph node), and $f_k$ are monotonic functions on $A$ (one for each edge in the control-flow graph). | where $a^1,\ldots,a^n$ are variables ranging over a lattice $A$ (one for each control-flow graph node), and $f_k$ are monotonic functions on $A$ (one for each edge in the control-flow graph). | ||
| + | |||
| Line 83: | Line 84: | ||
| === Narrowing === | === Narrowing === | ||
| + | |||
| + | === Reduced product === | ||
| ===== ASTREE Static Analyzer ===== | ===== ASTREE Static Analyzer ===== | ||