Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]] 
- 
  
 
sav07_lecture_24.txt · Last modified: 2008/05/21 11:03 by vkuncak
 
© EPFL 2018 - Legal notice