Formalising Java RMI with explicit code mobility

DOI10.1016/J.TCS.2007.09.002MaRDI QIDQ2463558zbMATH OpenOpenAlexFDO

Authors Alexander Ahern, Nobuko Yoshida

Publication date 14 December 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.09.002

zbMATH Keywords

code mobilitydistributionJavaoptimisationRMIruntimetypes

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Proving the correctness of mobile Java code
• scientific article; zbMATH DE number 2087390
• Trustworthy Global Computing
• scientific article; zbMATH DE number 2219360
• Java and distributed systems

Cites work

• A calculus of mobile processes. II
• Aliasing models for mobile objects
• An efficiency preorder for processes
• Barbed bisimulation
• Channel dependent types for higher-order mobile processes
• CONCUR 2004 - Concurrency Theory
• Constraining interference in an object-based design method
• Formalising Java RMI with explicit code mobility
• Formalization of generics for the .NET common language runtime
• scientific article; zbMATH DE number 2089402 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 1956544 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1860622 (Why is no real title available?)
• Java examples in a nutshell. Der Beispielband zu Java in a Nutshell. Übers. aus dem Amerikan. von Dorothea Reder. (JAVA examples in a Nutshell).
• Mobile objects as mobile processes
• On reduction-based process semantics
• Scoped types and aspects for real-time Java memory management
• Statically safe program generation with SafeGen
• Strong normalisation in the \(\pi\)-calculus
• Trustworthy Global Computing
• Types and programing languages
• Typing a multi-language intermediate code

Cited in

(6)

• Objects and session types
• Formalising Java RMI with explicit code mobility
• How Java's language design reflects the requirements of mobile code
• A sound and complete reasoning system for asynchronous communication with shared futures
• Compositional reasoning about active objects with shared futures
• Security types for dynamic web data

Describes a project that uses

Uses Software

• Featherweight Java
• MJ

This page was built for publication: Formalising Java RMI with explicit code mobility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463558)