Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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