Sciweavers

TOPLAS
2010
93views more  TOPLAS 2010»
13 years 10 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