I am interested in Ownership (Ownership Types in pariticular). Here is some relevant information.
Ownership Mailing List
Yes, there is one! To subscribe, go to the Ownership List Home Page.
A lot of the ownership types researchers and students are already on the list and we are interested in hearing more about ownership research around the world!
I am aware of several compilers that are available for download:
- OGJ+ by Ahmed Khalifa
- Alias Java by Jonathan Aldrich
- Object Teams by Stephan Herrmann
- Ownership Generic Java by Alex Potanin
Please let me know if there are more! Thank you.
Memory Graphs - Object graphs of C++ programs.
Ownership Tree Visualisations
This page also contains several visualisations of ownership trees obtained using Fish Eye Bean and H3Viewer.
Hello World Ownership Tree (H3Viewer)
Linked List Ownership Tree (H3Viewer)
Log File System Ownership Tree (H3Viewer) Screenshot 1
Log File System Ownership Tree (H3Viewer) Screenshot 2
Hello World Ownership Tree (Fish Eye)