Title: Generic Ownership for Generic Java

Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be leaked beyond object(s) that own them.

Existing ownership programming languages either do not support parametric polymorphism (type genericity) or attempt to add it on top of ownership restrictions.

Generic Ownership provides per-object ownership on top of a sound generic imperative language. The resulting system not only provides ownership guarantees comparable to established systems, but also requires few additional language mechanisms due to full reuse of parametric polymorphism.

We formalise the core of Generic Ownership, highlighting that only restriction of this calls and owner subtype preservation are required to achieve deep ownership. Finally we describe how Ownership Generic Java (OGJ) was implemented as a minimal extension to Generic Java in the hope of bringing ownership types into mainstream programming.

For some introductory reading before the meeting see:

Presenter: Alex Potanin

Alex Potanin is a Lecturer in Computer Science at Victoria University of Wellington. Alex is completing his PhD on Generic Ownership for Generic Java. Alex's research interests include: ownership types and object-oriented programming languages.

Sponsor:

Sun

The Wellington Java User Group thanks our hosts!

Date:
Wednesday, 22nd.
November, 2006

Time:
5.00pm for 5:15-6:30pm

Venue:
Sun
Level 9
22-28 Willeston Street

Afterword:
In our ongoing tradition, after this talk we intend to repair to a pub for some light R&R. All who would like to discuss points raised during the talk in a more congenial atmosphere are welcome!

Valid XHTML 1.1