LARA

Differences

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

Link to this comparison view

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]] 
-