TOPLAS
2010
13 years 7 months ago
2010
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...
TOPLAS
2010
13 years 7 months ago
2010
TOPLAS
2010
13 years 7 months ago
2010
TOPLAS
2010
13 years 7 months ago
2010
TOPLAS
2010
13 years 7 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
TOPLAS
2010
13 years 7 months ago
2010
TOPLAS
2010
13 years 7 months ago
2010
TOPLAS
2010
13 years 7 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...