A step toward automatic distribution of java programs

IFIP Advances in Information and Communication Technology

Volumn 49, Issue , 2000, Pages 141-161

  Attali, Isabelle ^a   Caromel, Denis ^a   Guider, Romain ^a  

^a CNRS   (France)

Author keywords

formal techniques; model for object distribution; program analysis

Indexed keywords

ACTIVE OBJECT; CODE DISTRIBUTIONS; CODE REUSE; DISTRIBUTED PROGRAMMING; DISTRIBUTION AND PARALLELIZATION; FORMAL TECHNIQUES; JAVA PROGRAM; MULTITHREADED; OBJECT DISTRIBUTION; OBJECT-ORIENTED PROGRAM; PARALLEL PROGRAM; PROGRAM ANALYSIS; SEQUENTIAL PROGRAMS; WIDE AREA;

COMPUTER SOFTWARE; WIDE AREA NETWORKS;

JAVA PROGRAMMING LANGUAGE;

EID: 84868272550     PISSN: 18684238     EISSN: None     Source Type: Journal    
DOI: 10.1007/978-0-387-35520-7_7     Document Type: Article

References (35)

1. Gul A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
2. P. S. Almeida. Balloon types: controlling sharing of states in data types. In Proc. ECOOP), LNCS 1241, pages 32-59. Springer Verlag, 1997.
3. P. Ameriea. Inheritance and subtyping in a parallel object-oriented language. In Proc. ECOOP '87, LNCS 276, pages 234-242, Paris, France, June 1987.
4. I. Attali, D. Caromel, and S. O. Ehmety. About the automatic continuations in the Eiffel// Model. In Proc. of the 1998 Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), July 1998.
5. I. Attali, D. Caromel, and S. O. Ehmety. Formal Properties of the Eiffel// Model. In Parallel and Distributed Objects. Hermes Science Publications, 1999.
6. I. Attali, D. Caromel, and R. Guider. Statie analysis of Java for distributed and parallel programming. rapport de recherche 3634, INRIA, March 1999.
7. I. Attali, D. Caromel, and S. Lippi. From a specification to an equivalence proof in object-oriented parallelism. In FMPPTA'99: Modeling and Proving, volume 1586. Springer, LNCS, 1999.
8. Utpal Banerjee. Dependence analysis tor supercomputing. Kluwer Academic Publishers, Boston, MA, USA, 1988.
9. J. K. Bennett. The design and implementation of Distributed Smalltalk. In Proc. OOPSLA '87, ACM SIGPLAN Notices 22 (12), pages 318-330, December 1987.
10. A. J. Bernstein. Analysis of programs for parallel processing. IEEE Transactions on Electronic Computers, 15:757-762, October 1966.
11. D. Caromel. Concurrency and reusability: From sequential to parallel. Journal of Object-Oriented Programming, 3(3), 1990.
12. D. Caromel. Towards a Method of Object-Oriented Concurrent Programming. Communications of the ACM, 36(9):90-102, September 1993.
13. D. Caromel, F. Belloncle, and Y. Roudier. The C++// Language. In Parallel Programming using C++, pages 257-296. MIT Press, 1996.
14. D. Caromel, W. Klauser, and J. Vayssiere. Towards Seamless Computing and Metacomputing in Java. Concurrency Practice and Experience, 10(11-13):1043-1061, November 1998.
15. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointer and structures. In Proc. PLDI90, volume 25(6), pages 296-310. ACM, june 1990.
16. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs. In Proc. POPL77, pages 238-252. ACM press, 1977.
17. M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proc. PLDI94, pages 242-256, 1994.
18. P. Feautrier. Dataflow analysis of scalar and array references. International Journal of Parallel Programming, 20(1):23-52, February 1991.
19. P. Feautrier. Toward automatic partitioning of arrays for distributed memory computers. In Proceedings of the 1993 ACM International Conference on Supercomputing, Tokyo, Japan, July 1993.
20. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.
21. R. Ghiya and L. J. Hendren. Connection analysis: A practieal interprocedural heap analysis for C. Lecture Notes in Computer Science, 1033, 1996.
22. Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Proc. POPL'96, pages 1-15, jan. 1996.
23. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
24. V. A. Guarna. A technique for analysing pointer and structure references in parallel restructuring compilers. In Proceedings of the International Conference on Parallel Processing, volume 11, pages 212-220, 1988.
25. L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In Proc. of the 5th International Workshop on Languages and Compilers for Parallel Computing, LNCS 757, 1993.
26. L. J. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1(1):35-47, 1990.
27. S. Hodges and C. B. Jones. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Object Orientation with Parallelism and Persistance. Kluwer Academic Publishers, 1996.
28. J.R. Larus and P. N. Hilfinger. Detecting conflicts between structure accesses. In Proc. PLDI88, pages 21-34, june 1988.
29. X. Liu and D. Walker. Confluence of processes and systems of objects. In Proc. TAPSOFT95 6th International Joint Conference CAAP/FASE, 1995.
30. O. Nierstrasz. Active objects in hybrid. In Proc. OOPSLA '87, ACM SIGPLAN Notices 22 (12), pages 243-253, 1987.
31. M. C. Rinard and P. C. Diniz. Commutativity analysis: a new analysis technique for parallelizing compilers. TOPLAS, 19(6):942-991, 1997.
32. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proc. POPL99, pages pp. 105-118, San Antonio, TX, Jan. 1999.
33. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM TOPLAS, 20(1):1-50, January 1998.
34. M. Tokoro and K. Takashio. Toward languages and formal systems for distributed computing. In Proc. of the ECOOP '93 Workshop on Object-Based Distributed Programming, LNCS 791, pages 93-110, 1994.
35. Y. Yokote and M. Tokoro. The design and implementation of Concurrent Smalltalk. In Proc. OOPSLA '86, ACM SIGPLAN Notices, 21 (11), pages 331-340, November 1986.