Normal view MARC view ISBD view

Analyse statique de programmes Java [et] application à la parallélisation [Texte imprimé] / par Romain Guider ; dir. Isabelle Attali [et] Denis Caromel

Auteur principal : Guider, Romain, 19..-...., AuteurAuteur secondaire : : Attali, Isabelle, 19..-...., informaticienne, Directeur de thèse;Caromel, Denis, 1963-...., Directeur de thèseAuteur secondaire collectivité : Institut national de recherche en informatique et en automatique, France, Unité de recherche, Sophia Antipolis, Alpes-Maritimes, Organisme de soutenance;Université de Nice, Organisme de soutenance;École doctorale Sciences et technologies de l'information et de la communication, Sophia Antipolis, Alpes-Maritimes, Organisme de soutenanceLangue :de résumé, Français.Publication :[S.l.] : [s.n.], 2000Description : 186 p. ; 30cmRésumé : Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui portent sur le domaine employé pour représenter les graphes d'objets. Nous dérivons de notre interpréteur abstrait une présentation des problèmes d'analyse statique sous la forme d'un système d'équations et nous prouvons que ce système d'équations est équivalent à l'interpréteur abstrait. La présentation sous cette forme permet de résoudre efficacement les problèmes d'analyse en utilisant des stratégies d'itérations de point fixe sophistiquées (et aussi d'utiliser des solveurs génériques) et de limiter le nombre de calculs qui est fait [sic] pendant les itérations de point fixe en les reportant sur la phase de construction du système d'équation (...). Dans un second temps nous instancions notre analyseur statique en utilisant un domaine abstrait pour les graphes d'objets qui est dû à Sagiv, Reps et Wilhelm. Nous étendons ce domaine pour construire une analyse interprocédurale (...). Enfin, nous décrivons une application de l'analyse statique à la parallélisation et à la distribution de programmes à objets (...)..Bibliographie: Bibliogr.155-162 p. Résumé en français.Thèse : .Sujet - Nom d'actualité : Langages de programmation orientés objet -- Thèses et écrits académiques ;Logiciels -- Vérification ;Java (langage de programmation) -- Thèses et écrits académiques Sujet : PARALLELISATION AUTOMATIQUE ;INTERPRETATION ABSTRAITE ;Langage JAVA
Current location Call number Status Date due Barcode
Centre de recherche en informatique
2000 GUI Sur demande CRI04575D

Publication autorisée par le jury

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

Thèse de doctorat Sciences. Informatique Nice 2000

Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui portent sur le domaine employé pour représenter les graphes d'objets. Nous dérivons de notre interpréteur abstrait une présentation des problèmes d'analyse statique sous la forme d'un système d'équations et nous prouvons que ce système d'équations est équivalent à l'interpréteur abstrait. La présentation sous cette forme permet de résoudre efficacement les problèmes d'analyse en utilisant des stratégies d'itérations de point fixe sophistiquées (et aussi d'utiliser des solveurs génériques) et de limiter le nombre de calculs qui est fait [sic] pendant les itérations de point fixe en les reportant sur la phase de construction du système d'équation (...). Dans un second temps nous instancions notre analyseur statique en utilisant un domaine abstrait pour les graphes d'objets qui est dû à Sagiv, Reps et Wilhelm. Nous étendons ce domaine pour construire une analyse interprocédurale (...). Enfin, nous décrivons une application de l'analyse statique à la parallélisation et à la distribution de programmes à objets (...).

Powered by Koha

//]]>