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}} | {{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 | ||