Static Analyses for Manipulations of Hierarchically Structured Data - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2011

Static Analyses for Manipulations of Hierarchically Structured Data

Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement

Résumé

Selon le Larousse, un programme informatique est un "ensemble d'instructions et de données représentant un algorithme et susceptible d'être exécuté par un ordinateur." Une forte adéquation entre instructions et données est donc nécessaire afin d'éviter tout dysfonctionnement d'un programme. Nous nous sommes ainsi intéressés ces dernières années aux analyses statiques, réalisées avant l'exécution du programme, permettant de garantir que la manipulation des données se passera correctement. Nous illustrerons nos recherches sur ce thème en considérant trois grandes familles de données: les arbres non ordonnés, les arbres ordonnés (dont XML), et les programmes eux-mêmes en tant que données. Dans chacun de ces domaines, nous avons conçu des analyses statiques, sous forme de système de types ou de bisimulations, adaptés à plusieurs problématiques telles que la manipulation de messages dans un système à composants, les langages bidirectionnels, la manipulation de XML ou les calculs de processus d'ordre supérieur avec passivation.
Fichier principal
Vignette du fichier
2011.05.01-Eart-Static_Analyses_for_Manipulations_of_Hierarchically_Structured_Data_by_Schmitt._A.pdf (2.48 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00637917 , version 1 (03-11-2011)

Identifiants

  • HAL Id : tel-00637917 , version 1

Citer

Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data. Software Engineering [cs.SE]. Université de Grenoble, 2011. ⟨tel-00637917⟩
168 Consultations
350 Téléchargements

Partager

Gmail Facebook X LinkedIn More