Formalising Java RMI with explicit code mobility

@inproceedings{Ahern2005FormalisingJR,
  title={Formalising Java RMI with explicit code mobility},
  author={Alexander Joseph Ahern and Nobuko Yoshida},
  booktitle={OOPSLA},
  year={2005}
}
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… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES