Formalising Java RMI with explicit code mobility

ACM SIGPLAN Notices

Volumn 40, Issue 10, 2005, Pages 403-422

  Ahern, Alexander ^a   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Code mobility; Distribution; Java; Optimisation; RMI; Runtime; Types

Indexed keywords

COMPUTER PROGRAMMING; DISTRIBUTED DATABASE SYSTEMS; ENCODING (SYMBOLS); OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; SECURITY OF DATA; SEMANTICS;

CODE MOBILITY; OBJECT SERIALISATION; RMI; RUNTIME; TYPES;

JAVA PROGRAMMING LANGUAGE;

EID: 33745219195     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1103845.1094843     Document Type: Article

References (53)

1. Acute home page. www.cl.cam.ac.uk/users/pes20/acute.
2. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
3. A. Ahern and N. Yoshida. Full version of this paper. www.doc.ic.ac.uk/ ~aja/dcbl.html.
4. A. Ahern and N. Yoshida. Formal Analysis of a Distributed Object-Oriented Language and Runtime. Technical Report 2005/01, Department of Computing, Imperial College London: Available at: www.doc.ic.ac.uk/~aja/dcbl.html, 2005.
5. D. Ancona, G. Lagorio, and E. Zucca. Simplifying types in a calculus for Java exceptions. Technical report, DISI - Univ. di Genova, 2002.
6. S. Arun-Kumar and M. Hennessy. An efficiency preorder for processes. Acta Inf., 29(8):737-760, 1992.
7. G. Bierman, M. Parkinson, and A. Pitts. MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, Univ. of Cambridge Computer Laboratory, April 2003.
8. P. Bogle and B. Liskov. Reducing cross domain call overhead using batched futures. In OOPSLA'94, pages 341-354. ACM Press, 1994.
9. S. Briais and U. Nestmann. Mobile objects "must" move safely. In FMOODS'02, pages 129-146. Kluwer, 2002.
10. L. Cardelli. Obliq: A language with distributed scope. Technical Report 122, Systems Research Center, Digital Equipment Corporation, 1994.
11. R. Christ. SanFrancisco Performance: A case study in performance of large-scale Java applications. IBM Systems Journal, 39(1), 2000.
12. S. Drossopoulou and S. Eisenbach. Manifestations of Dynamic Linking. In USE 2002, Malaga, Spain, June 2002.
13. S. Drossopoulou, G. Lagorio, and S. Eisenbach. Flexible Models for Dynamic Linking. In P. Degano, editor, ESOP'03, volume 2618 of LNCS, pages 38-53. Springer-Verlag, April 2003.
14. D. Flanagan. Java Examples in a Nutshell O'Reilly UK, 2000.
15. A. D. Gordon and P. D. Hankin. A concurrent object calculus: Reduction and typing. Technical Report 457, Univ. of Cambridge Computer Laboratory, February 1999.
16. A. D. Gordon and D. Syme. Typing a multi-language intermediate code. In POPL'01, pages 248-260. ACM Press, 2001.
17. T. Greanier. Discover the secrets of the Java Serialization API. java.sun.com/developer/technicalArticles/Programming/serialization/.
18. K. Honda. Composing processes. In POPL'96, pages 344-357, 1996.
19. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings of ECOOP'91, volume 512, pages 133-147, 1991.
20. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22-138. Springer-Verlag, 1998.
21. K. Honda and N. Yoshida. On reduction-based process semantics. TCS, 151(2):385-435, 1995.
22. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Prag. Lang. and Sys., 23(3):396-450, 2001.
23. A. Jeffrey. A Distributed Object Calculus. In FOOL. ACM Press, 2000.
24. C. Jones. Constraining interference in an object-based design method. In TAPSOFT'93, volume 668 of LNCS, pages 136-150. Springer-Verlag, 1993.
25. E. Jul, H. Levy, N. Hutchinson, and A. Black. Fine-grained mobility in the emerald system. ACM Trans. Comput. Syst., 6(1):109-133, 1988.
26. S. Kamin, L. Clausen, and A. Jarvis. Jumbo:run-time code generation for Java and its applications. In CGO'03. IEEE, 2003.
27. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst., 21 (5):914-947, 1999.
28. C. Krintz, B. Calder, and U. Hölzte. Reducing transfer delay using Java class file splitting and prefetching. In OOPSLA'99, pages 276-291. ACM Press, 1999.
29. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In OOPSLA '98, pages 36-44. ACM Press, 1998.
30. G. McGraw and G. Morrisett. Attacking malicious code: a report to the infosec research council. IEEE Software, 17(5):33-44, 2000.
31. M. Merro, J. Kleist, and U. Nestmann. Mobile objects as mobile processes. Inf. & Comp., 177(2):195-241, 2002.
32. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Inf. & Comp., 100(1), 1992.
33. U. Nestmann, H. Hüttel, J. Kleist, and M. Merro. Aliasing models for mobile objects. Inf. & Comp., 177(2): 195-241, 2002.
34. A. Ohori and K. Kato. Semantics for communication primitives in a polymorphic language. In POPL'93, pages 99-112. ACM Press, 1993.
35. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
36. Z. Qian, A. Goldberg, and A. Coglio. A formal specification of Java class loading. In OOPSLA'00, pages 325-336. ACM Press, 2000.
37. J. C. Reynolds. Syntactic control of interference. In POPL'78, pages 39-46. ACM Press, 1978.
38. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher Order Paradigms. PhD thesis, Univ. of Edinburgh, 1992.
39. J. W. Stamos and D. K. Gifford. Implementing remote evaluation. IEEE Trans. Softw. Eng., 16(7):710-722, 1990.
40. Sun Microsystems Inc. Java Remote Method Invocation (RMI). java.sun.com/products/jdk/rmi/.
41. W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In PEPM'97, pages 203-217. ACM Press, 1997.
42. F. Tejani. Implementation of a distributed mobile Java. Master's thesis, Imperial College London, 2005.
43. V. T. Vasconcelos, A. Ravara, and S. Gay. Session types for functional multithreading. In CONCUR'04, volume 3170 of LNCS, pages 497-511. Springer-Verlag, 2004.
44. J. Vitek, C. Bryce, and W. Binder. Designing JavaSeal or how to make Java safe for agents. Electronic Commerce Objects, 1998.
45. D. S. Wallach, D. Balfanz, D. Dean, and E. W. Felten. Extensible security architectures for Java. In SOSP'97, pages 116-128. ACM Press, 1997.
46. K. Yeung. Dynamic performance optimisation of distributed Java applications. PhD thesis, Imperial College London, 2004.
47. K. Yeung and P. Kelly. Optimizing Java RMI programs by communication restructuring. In Middleware'03, volume 2672 of LNCS, pages 324-343. Springer-Verlag, 2003.
48. N. Yoshida. Channel dependency types for higher-order mobile processes. In POPL'04, pages 147-160. ACM Press, 2004. Full version available at www.doc.ic.ac.uk/~yoshida.
49. N. Yoshida, M. Berger, and K. Honda. Strong Normalisation in the π-Calculus. In LICS'01, pages 311-322. IEEE, 2001.
50. The full version in Journal of Inf. & Comp., 191 (2004) 145-202, Elsevier.
51. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the.NET common language runtime. In POPL'04, pages 39-51. ACM Press, 2004.
52. T. Zhao, J. Noble, and J. Vitek. Scoped types for real-time Java. In RTSS'04, 2004.
53. D. Zook, S. S. Huang, and Y. Smaragdakis. Generating AspectJ Programs with Meta-AspectJ. In CPCE'04, volume 3286 of LNCS, pages 1-19. Springer-Verlag, 2004.