Ownership
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!
Ownership Compilers
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.
Object Graphs
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) |
|
EResearch