Differences
This shows you the differences between two versions of the page.
sav08:separation_logic [2008/05/21 10:53] vkuncak created |
sav08:separation_logic [2008/05/21 11:00] vkuncak |
||
---|---|---|---|
Line 56: | Line 56: | ||
* no user-supplied annotations | * no user-supplied annotations | ||
Illustrates the depth and achievements of modern shape analysis research. | Illustrates the depth and achievements of modern shape analysis research. | ||
- | |||
- | Excellent introductory reference to pointer analysis: final parts of | ||
- | * [[http://www.brics.dk/~mis/static.pdf|Lecture notes on static analysis by Michael Schwartzbach]] | ||
- | |||