Lab for Automated Reasoning and Analysis 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] (current)
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]] 
- 
  
 
sav08/separation_logic.txt · Last modified: 2008/05/21 11:00 by vkuncak
 
© EPFL 2018 - Legal notice