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