55 search results - page 7 / 11 » Ownership types for object encapsulation |
FMOODS
2006
13 years 9 months ago
2006
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
JFP
2006
13 years 7 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
OOPSLA
1992
Springer
13 years 11 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...
ECOOP
2008
Springer
13 years 8 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...