4205 search results - page 22 / 841 » Typed Mobile Objects |
96
Voted
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
103
click to vote
FMOODS
2007
14 years 11 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
POS
1994
Springer
15 years 1 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...