4205 search results - page 36 / 841 » Typed Mobile Objects |
133
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
114
click to vote
ISCOPE
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we present a parallel runtime substrate that supports a global addressing scheme, object mobility, and automatic message forwarding required for the implementation o...
110
click to vote
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
Time-parameterized queries (TP queries for short) retrieve (i) the actual result at the time that the query is issued, (ii) the validity period of the result given the current mot...
132
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
159
click to vote
HIPEAC
2011
Springer
14 years 1 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...