Comprehending Annotations on Object-Oriented Programs Using Permissions

by John Boyland, William Retert and Yang Zhao.

Abstract

Fractional permissions are a general system for managing access to mutable state. We show how fractional permissions can give semantics to a regimen of annotations including ``unique,'' ``non-null,'' ``read-only,'' ownership, and method effects. The unification supports new annotations: ``unique-write'' and ``from''. We also develop a model of object invariants in the presence of inheritance using ``nesting,'' an extension of ``adoption.''

BibTeX Style Reference

@inproceedings(boyland/retert/zhao:07oo-permissions,
  author =      {John Boyland and William Retert and Yang Zhao}
  title =       {Comprehending Annotations on Object-Oriented Programs Using Permissions},
  booktitle = {ECOOP 2009 Workshop on Aliasing, Confinement and Ownership},
  month = jul,
  year = 2009)

How to Get a Copy

The paper is in available in PDF.

Last Modified: August 10, 2009