Affiliation:
1. Imperial College London, London, UK
Abstract
This paper presents a Java-like core language with primitives for object-oriented distribution and explicit code mobility. We apply our formulation to prove the correctness of several optimisations for distributed programs. Our language captures crucial but often hidden aspects of distributed object-oriented programming, including object serialisation, dynamic class downloading and remote method invocation. It is defined in terms of an operational semantics that concisely models the behaviour of distributed programs using machinery from calculi of mobile processes. Type safety is established using invariant properties for distributed runtime configurations. We argue that primitives for explicit code mobility offer a programmer fine-grained control of type-safe code distribution, which is crucial for improving the performance and safety of distributed object-oriented applications.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference48 articles.
1. Acute home page. www.cl.cam.ac.uk/users/pes20/acute. Acute home page. www.cl.cam.ac.uk/users/pes20/acute.
2. A. Ahern and N. Yoshida. Full version of this paper. www.doc.ic.ac.uk/~aja/dcbl.html. A. Ahern and N. Yoshida. Full version of this paper. www.doc.ic.ac.uk/~aja/dcbl.html.
3. D. Ancona G. Lagorio and E. Zucca. Simplifying types in a calculus for Java exceptions. Technical report DISI - Univ. di Genova 2002. D. Ancona G. Lagorio and E. Zucca. Simplifying types in a calculus for Java exceptions. Technical report DISI - Univ. di Genova 2002.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Syntactic Model of Mutation and Aliasing;Electronic Proceedings in Theoretical Computer Science;2019-04-23
2. Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness;Electronic Notes in Theoretical Computer Science;2006-09