65 search results - page 7 / 13 » Ownership Downgrading for Ownership Types |
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
TCS
2008
13 years 9 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
FMCO
2007
Springer
14 years 3 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
ICFP
2008
ACM
14 years 9 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...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...