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:symbolic_shape_analysis [2008/05/21 23:58]
vkuncak created
sav08:symbolic_shape_analysis [2008/05/22 14:04] (current)
vkuncak
Line 2: Line 2:
  
 {{sav08:​bohne-slides.pdf|Symbolic Shape Analysis Slides}} {{sav08:​bohne-slides.pdf|Symbolic Shape Analysis Slides}}
 +
 +Some illustrative examples from Jahob distribution
 +
 +  examples/​loopinvs/​bohne-gsll/​List.java
 +  examples/​containers/​gtree/​Tree.java
 +  examples/​containers/​gdll/​DLL.java
 +  examples/​containers/​sorted/​SortedList.java
 +  examples/​containers/​java-util/​Client.java
  
 
sav08/symbolic_shape_analysis.txt · Last modified: 2008/05/22 14:04 by vkuncak
 
© EPFL 2018 - Legal notice