Differences

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

--- sav08:symbolic_shape_analysis [2008/05/21 23:58]
vkuncak created
+++ sav08:symbolic_shape_analysis [2008/05/22 14:04]
vkuncak
@@ Line 2: / Line 2: @@
 {{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