Sciweavers

ICTCS
2001
Springer

Subtyping and Matching for Mobile Objects

13 years 8 months ago
Subtyping and Matching for Mobile Objects
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli and Gordon’s Mobile Ambients. Here, we refine our earlier work and define a new calculus which is based on Remote Procedure Call as the underlying protocol for method invocation, and on a different typing technique for method bodies. The new type system is equipped with a subtyping and a matching relation: the combination of matching with subtyping provides new insight into the relationship between ambient opening in the new calculus and method overriding in object-oriented calculi.
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where ICTCS
Authors Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Comments (0)