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:chaotic_iteration_in_abstract_interpretation [2008/05/20 13:08] vkuncak |
sav08:chaotic_iteration_in_abstract_interpretation [2008/05/20 13:16] vkuncak |
||
|---|---|---|---|
| Line 66: | Line 66: | ||
| Algorithm terminates when worklist is empty (no more changes) | Algorithm terminates when worklist is empty (no more changes) | ||
| - | Iteration strategies: | + | Useful iteration strategy: reverse postorder and strongly connected components |
| - | * LIFO, FIFO, | + | |
| - | * reverse postorder | + | Reverse postorder: follow changes through successors in the graph |
| - | * round robin | + | |
| - | * strongly connected components | + | Strongly connected component (SCC) of a directed graph: path between each two nodes of component. |
| + | * compute until fixpoint within each SCC | ||
| ===== References ===== | ===== References ===== | ||