Static Analysis of Java for Distributed and Parallel Programming

Isabelle Attali 1 Denis Caromel Romain Guider
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential, multithreaded and distributed programming using Java, in order to enhance code reuse and code evolution. We exhibit conditions on the graph of objects to detect activable objects and transform a sequential program into a distributed or parallel program using active objects. We then present a static analysis based on an abstract interpretation of a Java subset, which provides approximate sets of activable objects. Finally, we illustrate our algorithm and results with one example.
Type de document :
Rapport
RR-3634, INRIA. 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00073040
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:40:46
Dernière modification le : mercredi 31 janvier 2018 - 10:24:04
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:37:52

Fichiers

Identifiants

  • HAL Id : inria-00073040, version 1

Collections

Citation

Isabelle Attali, Denis Caromel, Romain Guider. Static Analysis of Java for Distributed and Parallel Programming. RR-3634, INRIA. 1999. 〈inria-00073040〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

233