F. Barbanera and U. de' Liguoro
Type assignment for mobile objects
In COMETA'03, ENTCS 104C Elsevier, 2004
We address the problem of formal reasoning about mobile code. We
consider an Ambient Calculus, where process syntax includes
constructs for sequential programming. For the sake of
concreteness, and because of practical relevance, we consider
objects using message exchange to implement method invocation and
overriding. The contribution of the paper is a type assignment
system, obtained by combination of systems for MA and
for the Sigma-calculus. We exploit in the mobility framework a typical
feature of the intersection type discipline for object calculi,
namely late typing of self. The proposed system is then checked
against standard properties of related systems, establishing type
invariance a completeness theorems.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43