65 search results - page 3 / 13 » Ownership Downgrading for Ownership Types |
POPL
2003
ACM
14 years 8 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
JOT
2007
13 years 7 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
SCP
2008
13 years 7 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
JOT
2007
13 years 7 months ago
2007
