Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav07_lecture_9 [2007/04/19 11:18] vkuncak |
sav07_lecture_9 [2007/04/19 11:20] vkuncak |
||
---|---|---|---|
Line 105: | Line 105: | ||
Once we have reached above the fixpoint (using widening or anything else), we can always apply the fixpoint transformer and improve the precision of the results. | Once we have reached above the fixpoint (using widening or anything else), we can always apply the fixpoint transformer and improve the precision of the results. | ||
+ | |||
+ | If this is too slow, we can stop at any point or use a narrowing operator. | ||
=== Reduced product === | === Reduced product === |