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:

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 using H3Viewer

Hello World Ownership Tree (H3Viewer)

Linked List using H3Viewer

Linked List Ownership Tree (H3Viewer)

Log File System using H3Viewer (1)

Log File System Ownership Tree (H3Viewer) Screenshot 1

Log File System using H3Viewer (2)

Log File System Ownership Tree (H3Viewer) Screenshot 2

Hello World using Fish Eye

Hello World Ownership Tree (Fish Eye)