8 search results - page 1 / 2 » Existential Owners for Ownership Types |
55
Voted
JOT
2007
15 years 8 days ago
2007
105
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
106
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...