Sciweavers

2 search results - page 1 / 1
» A Fundamental Permission Interpretation for Ownership Types
Sort
View
TASE
2008
IEEE
13 years 10 months ago
A Fundamental Permission Interpretation for Ownership Types
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 acc...
Yang Zhao, John Boyland
JOT
2007
68views more  JOT 2007»
13 years 3 months ago
A Parameterized Type System for Simple Loose Ownership Domains
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
Jan Schaefer, Arnd Poetzsch-Heffter