Analyse statique de programmes Java [et] application à la parallélisation (Record no. 123010)

005 - numéro d'identification de la version
identification de la version 20170221032210.0
009 - PPN
PPN 052448045
035 ## - autres systèmes de numéros de contrôle
-- 771862302
099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2011-05-20
100 ## - données générales de traitement
données générales de traitement 20001211d2000 k y0frey50 ba
101 0# - langue
langue d'un résumé Français
200 1# - titre
Titre propre Analyse statique de programmes Java [et] application à la parallélisation
indication générale du type de document Texte imprimé
Auteur principal par Romain Guider
Auteur(s) secondaire(s) dir. Isabelle Attali [et] Denis Caromel
210 ## - éditeur
Lieu de publication [S.l.]
Nom de l'éditeur [s.n.]
Date de publication 2000
215 ## - Description matérielle
Caractéristiques matérielles 186 p.
Format 30cm
310 ## - note
texte de la note Publication autorisée par le jury
320 ## - note
texte de la note Bibliogr.155-162 p. Résumé en français
328 #0 - note
Détails sur la thèse ou le mémoire dont le type de diplôme Thèse de doctorat
Discipline Sciences. Informatique
Organisme donnant le diplôme Nice
Date du diplôme 2000
330 ## - résumé
texte de la note 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 (...).
541 ## - titre traduit ajouté par le catalogueur
titre traduit Static analysis of Java programs. Application to parallelization
langue du titre traduit eng
610 ## - sujets
sujet PARALLELISATION AUTOMATIQUE
610 ## - sujets
sujet INTERPRETATION ABSTRAITE
610 ## - sujets
sujet Langage JAVA
606 ## - sujets
-- ba0yba0y
sujet Langages de programmation orientés objet
subdivision du sujet Thèses et écrits académiques
code du système d'indexation rameau
606 ## - sujets
-- ba0yba0y
-- frefre
sujet Logiciels
subdivision du sujet Vérification
code du système d'indexation rameau
606 ## - sujets
-- ba0yba0y
sujet Java (langage de programmation)
subdivision du sujet Thèses et écrits académiques
code du système d'indexation rameau
700 #1 - auteur
Lien 386331
numéro de la notice d'autorité 060449462
Auteur Guider
_ Romain
dates 19..-....
code de fonction Auteur
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 386329
numéro de la notice d'autorité 06044942X
élément d'entrée Attali
partie du nom autre que l'élément d'entrée Isabelle
dates 19..-....
qualificatifs autres que les dates informaticienne
code de fonction Directeur de thèse
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 386330
numéro de la notice d'autorité 060449454
élément d'entrée Caromel
partie du nom autre que l'élément d'entrée Denis
dates 1963-....
code de fonction Directeur de thèse
712 02 - collectivité - mention de responsabilité secondaire
numéro de la notice d'autorité 059205717
élément d'entrée Institut national de recherche en informatique et en automatique
élément ajouté au nom ou qualificatif France
subdivision Unité de recherche
élément ajouté au nom ou qualificatif Sophia Antipolis, Alpes-Maritimes
code de fonction Organisme de soutenance
712 02 - collectivité - mention de responsabilité secondaire
-- ba0yba0y
élément d'entrée Université de Nice
numéro de la notice d'autorité 026403498
code de fonction Organisme de soutenance
712 02 - collectivité - mention de responsabilité secondaire
-- ba0yba0y
élément d'entrée École doctorale Sciences et technologies de l'information et de la communication
élément ajouté au nom ou qualificatif Sophia Antipolis, Alpes-Maritimes
numéro de la notice d'autorité 059079800
code de fonction Organisme de soutenance
909 ## - Type de document
Type de document Thèses
CAT_DOC Thèse
930 ## - localisation
-- g
995 ## - Exemplaires
-- EM AI CI200-3237
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique 2000 GUI Sur demande Centre de Recherche en Informatique

Powered by Koha