Toward a method of object-oriented concurrent programming
Communications of the ACM
COBRA fundamentals and programming
COBRA fundamentals and programming
Solving shape-analysis problems in languages with destructive updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional pointer and escape analysis for Java programs
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A step toward automatic distribution of Java programs
Fourth International Conference on Formal methods for open object-based distributed systems IV
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Java Programming Language
JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
| Hi-index | 0.00 |
After being widely recognized as a general purpose language, Java is now becoming a language of choice for implementing distributed applications, both of system and numerical types. Therefore there are many research efforts that are being carried out, the aim of which is to provide support to help users in the process of distributing Java codes. Nevertheless most of the resulting technologies impose so strong constraints on the candidate codes that they are difficult to use in practice. Our goal is to provide support for the automatic distribution of Java applications, with as few limitations as possible - for instance we consider threads, what is not common. In this paper we present the 驴-calculus model that we have set up and how we use it to provide a strong formal foundation to the distribution of multithreaded applications. This work has been partly inspired by previous work by the OASIS team of Nice Sophia-Antipolis in the framework of their ProActive project.