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 10:54] vkuncak |
sav07_lecture_9 [2007/04/19 11:13] vkuncak |
||
|---|---|---|---|
| Line 113: | Line 113: | ||
| To obtain more precise results, we allow analyses to exchange information. | To obtain more precise results, we allow analyses to exchange information. | ||
| + | |||
| + | Reduced product: [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL79.shtml|Systematic Design of Program Analysis Frameworks]], Section 10.1. | ||
| + | |||