SCT Student Projects - Marco Meyer

The goal of this semester project is the development of two programs. The project runs parallel to a master thesis, which generates (out of a normal Java program) an ownership graph and a file with the Universe type annotations for the Java program. The first program is used to merge the Universe annotations with a Java file. The second program should visualize the ownership graph and allow the user to interact with the ownership graph.