A Fundamental Permission Interpretation for Ownership Types

by Yang Zhao, and John Boyland.

Abstract

This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any access to that object is assigned an owner and any access to that object is required to follow some rules based on its owner. A permission is a low-level linear value associated with some piece of state in a program and is used to permit certain operations. Permission nesting indicates that some permission is nested in another which intuitively reveals a protection relation between a nested permission and its nester. Permission nesting and ownership share common characteristics. In this paper, two ownership models (owners-as-dominators and owners-as-locks) are investigated, and we show that they are able to be unified by permission interpretation. We then discuss the possibilities of representing multiple ownership using fractional permissions.

BibTeX Style Reference

@inproceedings(zhao/boyland:08ownership,
  title = {A Fundamental Permission Interpretation for Ownership Types},
  author =      {Yang Zhao and John Boyland}
  booktitle = 	{2nd IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE 2008)}
  date =	jun # { 17--19},
  city = 	{Nanjing, China},
  editor = 	{Jim Davies and Xuandong Li},
  month = 	jun,
  year = 	2008,
  pages = 	{to appear},
  nothing =	{})

How to Get a Copy

The PDF is available here.


Last Modified: May 12, 2008

A Fundamental Permission Interpretation for Ownership Types boyland@cs.uwm.edu