Static Analyses for Manipulations of Hierarchically Structured Data - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2011

Static Analyses for Manipulations of Hierarchically Structured Data

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

Abstract

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 and versions

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

Identifiers

  • HAL Id : tel-00637917 , version 1

Cite

Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data. Software Engineering [cs.SE]. Université de Grenoble, 2011. ⟨tel-00637917⟩
163 View
335 Download

Share

Gmail Facebook X LinkedIn More