Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav07_lecture_24 [2008/05/21 10:48] vkuncak |
sav07_lecture_24 [2008/05/21 11:03] (current) vkuncak |
||
---|---|---|---|
Line 224: | Line 224: | ||
- [[http://www.eecs.umich.edu/~bchandra/publications/phd.pdf|SafeJava: A Unified Type System for Safe Programming]] | - [[http://www.eecs.umich.edu/~bchandra/publications/phd.pdf|SafeJava: A Unified Type System for Safe Programming]] | ||
- [[http://www.jot.fm/issues/issue_2004_06/article2/index_html|Verification of object-oriented programs with invariants]] | - [[http://www.jot.fm/issues/issue_2004_06/article2/index_html|Verification of object-oriented programs with invariants]] | ||
- | |||
===== Steensgard's analysis ===== | ===== Steensgard's analysis ===== | ||
Line 558: | Line 557: | ||
* 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]] | ||
- | |||