65 search results - page 9 / 13 » Ownership Downgrading for Ownership Types |
256
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
122
click to vote
OOPSLA
1992
Springer
15 years 7 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
105
click to vote
NSDI
2004
15 years 4 months ago
2004
The cost and complexity of administration of large systems has come to dominate their total cost of ownership. Stateless and soft-state components, such as Web servers or network ...
172
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
120
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...