Sciweavers

TOPLAS
2010
93views more  TOPLAS 2010»
13 years 2 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland