Titre : Analyse statique de programmes Java [et] application à la parallélisation

Static analysis of Java programs. Application to parallelization

Romain Guider (19..-....). Auteur
informaticienne Isabelle Attali (19..-....). Directeur de thèse
Denis Caromel (1963-....). Directeur de thèse
Institut national de recherche en informatique et en automatique (France) (Sophia Antipolis, Alpes-Maritimes). Unité de recherche
Université de Nice
École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes)
[S.l.]
[s.n.]
2000
186 p. ; 30cm

xx Langages de programmation orientés objet-- Thèses et écrits académiques
xx Logiciels-- Vérification
xx Java (langage de programmation)-- Thèses et écrits académiques

Bibliogr.155-162 p. Résumé en français


Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   2000 GUI