Oh! Gee! Java! Ownership types (almost) for free


Authors: James Noble, Robert Biddle, Elvis Software Design Research Group ~
Source: GZipped PostScript (31kb); Adobe PDF (99kb)

The existing proposals for ownership types build on Java-like languages without generic types. A minimal ownership type scheme for languages with generic types could be a much smaller change to the language. Given that Java-like languages are now adopting generic types (and that several object-oriented languages already provide them) such an extension may make ownership types practical for the practising programmer.

[Up to Computer Science Technical Report Archive: Home Page]