Static Analysis of Java for Distributed and Parallel Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

Static Analysis of Java for Distributed and Parallel Programming

Denis Caromel
  • Fonction : Auteur
  • PersonId : 833022
Romain Guider
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
RR-3634.pdf (415.82 Ko) Télécharger le fichier

Dates et versions

inria-00073040 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073040 , version 1

Citer

Isabelle Attali, Denis Caromel, Romain Guider. Static Analysis of Java for Distributed and Parallel Programming. RR-3634, INRIA. 1999. ⟨inria-00073040⟩
95 Consultations
189 Téléchargements

Partager

Gmail Facebook X LinkedIn More